{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:SLCF27GQAKZQRTHX7KH6445CEO","short_pith_number":"pith:SLCF27GQ","canonical_record":{"source":{"id":"1510.07026","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2015-10-23T19:41:50Z","cross_cats_sorted":[],"title_canon_sha256":"85ca1beb23fa18dfcd29d899c7639d9799af14f19b8eed220237b3dbe8f31b6d","abstract_canon_sha256":"bd92763266170a9af2f842c12d3a052f8c7d4f78ad9ee36e74c4ed5b5cd43eca"},"schema_version":"1.0"},"canonical_sha256":"92c45d7cd002b308ccf7fa8fee73a2239ceb4e11055a2a1fc20c8d1d2ca0c4b6","source":{"kind":"arxiv","id":"1510.07026","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1510.07026","created_at":"2026-05-18T00:55:34Z"},{"alias_kind":"arxiv_version","alias_value":"1510.07026v1","created_at":"2026-05-18T00:55:34Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1510.07026","created_at":"2026-05-18T00:55:34Z"},{"alias_kind":"pith_short_12","alias_value":"SLCF27GQAKZQ","created_at":"2026-05-18T12:29:42Z"},{"alias_kind":"pith_short_16","alias_value":"SLCF27GQAKZQRTHX","created_at":"2026-05-18T12:29:42Z"},{"alias_kind":"pith_short_8","alias_value":"SLCF27GQ","created_at":"2026-05-18T12:29:42Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:SLCF27GQAKZQRTHX7KH6445CEO","target":"record","payload":{"canonical_record":{"source":{"id":"1510.07026","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2015-10-23T19:41:50Z","cross_cats_sorted":[],"title_canon_sha256":"85ca1beb23fa18dfcd29d899c7639d9799af14f19b8eed220237b3dbe8f31b6d","abstract_canon_sha256":"bd92763266170a9af2f842c12d3a052f8c7d4f78ad9ee36e74c4ed5b5cd43eca"},"schema_version":"1.0"},"canonical_sha256":"92c45d7cd002b308ccf7fa8fee73a2239ceb4e11055a2a1fc20c8d1d2ca0c4b6","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:55:34.414449Z","signature_b64":"3PkcUrjASBPIeYI/1VDI2L5TFk3XNQEaryC549RPhSh1bBfmuw1Wp/AMbB01iLD7JtpAWt/PXOMQEUs8nOZoDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"92c45d7cd002b308ccf7fa8fee73a2239ceb4e11055a2a1fc20c8d1d2ca0c4b6","last_reissued_at":"2026-05-18T00:55:34.413968Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:55:34.413968Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1510.07026","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T00:55:34Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"J7Vs94KDoS1X9vEthbaWBdRfq/HEPaj7EXV9l1m6kd7q8JvU9SXf7OvpKc8P2wDOiv2Zi50nh7XBGfhzEZ0/CA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-27T20:17:45.860819Z"},"content_sha256":"41699b005c6a681c1f3f547ee9d8e6fb2c029ec6543daa5ba36eee08e0dae3f8","schema_version":"1.0","event_id":"sha256:41699b005c6a681c1f3f547ee9d8e6fb2c029ec6543daa5ba36eee08e0dae3f8"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:SLCF27GQAKZQRTHX7KH6445CEO","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Semi-autonomous Intersection Collision Avoidance through Job-shop Scheduling","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SY","authors_text":"Domitilla Del Vecchio, Heejin Ahn","submitted_at":"2015-10-23T19:41:50Z","abstract_excerpt":"In this paper, we design a supervisor to prevent vehicle collisions at intersections. An intersection is modeled as an area containing multiple conflict points where vehicle paths cross in the future. At every time step, the supervisor determines whether there will be more than one vehicle in the vicinity of a conflict point at the same time. If there is, then an impending collision is detected, and the supervisor overrides the drivers to avoid collision. A major challenge in the design of a supervisor as opposed to an autonomous vehicle controller is to verify whether future collisions will o"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1510.07026","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T00:55:34Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"C7IgUO20W2ZFbPZCfOUbr3g0ePsmE+S/jOAbgowlLwjDXvdl1L6Cd5ZWDGgdXjemQS54K3jqYivIREMDn1UtAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-27T20:17:45.861158Z"},"content_sha256":"3d610b5066df8d48441205b122fd0845550366b92dd022139a3dea6c9b9c8b05","schema_version":"1.0","event_id":"sha256:3d610b5066df8d48441205b122fd0845550366b92dd022139a3dea6c9b9c8b05"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/SLCF27GQAKZQRTHX7KH6445CEO/bundle.json","state_url":"https://pith.science/pith/SLCF27GQAKZQRTHX7KH6445CEO/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/SLCF27GQAKZQRTHX7KH6445CEO/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-06-27T20:17:45Z","links":{"resolver":"https://pith.science/pith/SLCF27GQAKZQRTHX7KH6445CEO","bundle":"https://pith.science/pith/SLCF27GQAKZQRTHX7KH6445CEO/bundle.json","state":"https://pith.science/pith/SLCF27GQAKZQRTHX7KH6445CEO/state.json","well_known_bundle":"https://pith.science/.well-known/pith/SLCF27GQAKZQRTHX7KH6445CEO/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:SLCF27GQAKZQRTHX7KH6445CEO","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"bd92763266170a9af2f842c12d3a052f8c7d4f78ad9ee36e74c4ed5b5cd43eca","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2015-10-23T19:41:50Z","title_canon_sha256":"85ca1beb23fa18dfcd29d899c7639d9799af14f19b8eed220237b3dbe8f31b6d"},"schema_version":"1.0","source":{"id":"1510.07026","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1510.07026","created_at":"2026-05-18T00:55:34Z"},{"alias_kind":"arxiv_version","alias_value":"1510.07026v1","created_at":"2026-05-18T00:55:34Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1510.07026","created_at":"2026-05-18T00:55:34Z"},{"alias_kind":"pith_short_12","alias_value":"SLCF27GQAKZQ","created_at":"2026-05-18T12:29:42Z"},{"alias_kind":"pith_short_16","alias_value":"SLCF27GQAKZQRTHX","created_at":"2026-05-18T12:29:42Z"},{"alias_kind":"pith_short_8","alias_value":"SLCF27GQ","created_at":"2026-05-18T12:29:42Z"}],"graph_snapshots":[{"event_id":"sha256:3d610b5066df8d48441205b122fd0845550366b92dd022139a3dea6c9b9c8b05","target":"graph","created_at":"2026-05-18T00:55:34Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"paper":{"abstract_excerpt":"In this paper, we design a supervisor to prevent vehicle collisions at intersections. An intersection is modeled as an area containing multiple conflict points where vehicle paths cross in the future. At every time step, the supervisor determines whether there will be more than one vehicle in the vicinity of a conflict point at the same time. If there is, then an impending collision is detected, and the supervisor overrides the drivers to avoid collision. A major challenge in the design of a supervisor as opposed to an autonomous vehicle controller is to verify whether future collisions will o","authors_text":"Domitilla Del Vecchio, Heejin Ahn","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2015-10-23T19:41:50Z","title":"Semi-autonomous Intersection Collision Avoidance through Job-shop Scheduling"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1510.07026","kind":"arxiv","version":1},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:41699b005c6a681c1f3f547ee9d8e6fb2c029ec6543daa5ba36eee08e0dae3f8","target":"record","created_at":"2026-05-18T00:55:34Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"bd92763266170a9af2f842c12d3a052f8c7d4f78ad9ee36e74c4ed5b5cd43eca","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2015-10-23T19:41:50Z","title_canon_sha256":"85ca1beb23fa18dfcd29d899c7639d9799af14f19b8eed220237b3dbe8f31b6d"},"schema_version":"1.0","source":{"id":"1510.07026","kind":"arxiv","version":1}},"canonical_sha256":"92c45d7cd002b308ccf7fa8fee73a2239ceb4e11055a2a1fc20c8d1d2ca0c4b6","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"92c45d7cd002b308ccf7fa8fee73a2239ceb4e11055a2a1fc20c8d1d2ca0c4b6","first_computed_at":"2026-05-18T00:55:34.413968Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:55:34.413968Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"3PkcUrjASBPIeYI/1VDI2L5TFk3XNQEaryC549RPhSh1bBfmuw1Wp/AMbB01iLD7JtpAWt/PXOMQEUs8nOZoDg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:55:34.414449Z","signed_message":"canonical_sha256_bytes"},"source_id":"1510.07026","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:41699b005c6a681c1f3f547ee9d8e6fb2c029ec6543daa5ba36eee08e0dae3f8","sha256:3d610b5066df8d48441205b122fd0845550366b92dd022139a3dea6c9b9c8b05"],"state_sha256":"fb38f4de795313989396cff23cfdf4af1b75440a07fd892bdf007dd0ae015b32"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"7nBP6yAX/3uhPQERvg4ukrQp+622TyNwza8NtsNcbxSFavxQsdOKUKUsK0wn7u1/GcW8YzJy7DiUslwEv9jfBw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-27T20:17:45.862952Z","bundle_sha256":"a34f2375d9d4fd6b79f5763fef5e6b89c2f3224eba519b4fd3526c567bb3115d"}}