{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:3BFUGRBZEDJXIP4A73JWATD6YJ","short_pith_number":"pith:3BFUGRBZ","canonical_record":{"source":{"id":"1705.05231","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2017-05-12T13:40:54Z","cross_cats_sorted":["cs.NE"],"title_canon_sha256":"9e0fabf12ca4460b72bc4741a22f4efe5948f3b5b26ac1abd4e2ac9b69426d4b","abstract_canon_sha256":"85b9f62cf7a7f6e496e51a5d45f4f04e7a513ff9bd5cf54062ff097c47e4e999"},"schema_version":"1.0"},"canonical_sha256":"d84b43443920d3743f80fed3604c7ec27a21d509bf4fe407bb3ff1b5cc54883e","source":{"kind":"arxiv","id":"1705.05231","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1705.05231","created_at":"2026-05-18T00:44:31Z"},{"alias_kind":"arxiv_version","alias_value":"1705.05231v1","created_at":"2026-05-18T00:44:31Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1705.05231","created_at":"2026-05-18T00:44:31Z"},{"alias_kind":"pith_short_12","alias_value":"3BFUGRBZEDJX","created_at":"2026-05-18T12:30:58Z"},{"alias_kind":"pith_short_16","alias_value":"3BFUGRBZEDJXIP4A","created_at":"2026-05-18T12:30:58Z"},{"alias_kind":"pith_short_8","alias_value":"3BFUGRBZ","created_at":"2026-05-18T12:30:58Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:3BFUGRBZEDJXIP4A73JWATD6YJ","target":"record","payload":{"canonical_record":{"source":{"id":"1705.05231","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2017-05-12T13:40:54Z","cross_cats_sorted":["cs.NE"],"title_canon_sha256":"9e0fabf12ca4460b72bc4741a22f4efe5948f3b5b26ac1abd4e2ac9b69426d4b","abstract_canon_sha256":"85b9f62cf7a7f6e496e51a5d45f4f04e7a513ff9bd5cf54062ff097c47e4e999"},"schema_version":"1.0"},"canonical_sha256":"d84b43443920d3743f80fed3604c7ec27a21d509bf4fe407bb3ff1b5cc54883e","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:44:31.052631Z","signature_b64":"fAWdbBjvWO+gfwI1lAPMCSNplC95b+M0GWbUVcPqN0BBdj4gBC4SmtuGvbOUkHIFzSanTd5gAyHGR5Ve7sgRCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"d84b43443920d3743f80fed3604c7ec27a21d509bf4fe407bb3ff1b5cc54883e","last_reissued_at":"2026-05-18T00:44:31.052255Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:44:31.052255Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1705.05231","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:44:31Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"T/Y8pHK1XgsjDZoHrrgbcCCCx4OBjSI/lS5D3/bbLN0kg/41+YhA3ZC4cxh7mNoZ7Wm1NxqopsS9XiMgPD3fBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-26T13:09:09.332030Z"},"content_sha256":"f13b9e74bb107fdc9de6dcc5dcac5258e07faaeaf8854357660871773a8ca3c4","schema_version":"1.0","event_id":"sha256:f13b9e74bb107fdc9de6dcc5dcac5258e07faaeaf8854357660871773a8ca3c4"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:3BFUGRBZEDJXIP4A73JWATD6YJ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Autonomous and Connected Intersection Crossing Traffic Management using Discrete-Time Occupancies Trajectory","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.NE"],"primary_cat":"cs.SY","authors_text":"Kyoung-Dae Kim, Qiang Lu","submitted_at":"2017-05-12T13:40:54Z","abstract_excerpt":"In this paper, we address a problem of safe and efficient intersection crossing traffic management of autonomous and connected ground traffic. Toward this objective, we propose an algorithm that is called the Discrete-time occupancies trajectory based Intersection traffic Coordination Algorithm (DICA). We first prove that the basic DICA is deadlock free and also starvation free. Then, we show that the basic DICA has a computational complexity of $\\mathcal{O}(n^2 L_m^3)$ where $n$ is the number of vehicles granted to cross an intersection and $L_m$ is the maximum length of intersection crossing"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1705.05231","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:44:31Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"tA1kBQmvadD1L251VS4gtd78ZVkscT1aoHJ8x/0k9JjHNb3g/+ZmU/fJC1EVefqsVOxMihpoIcQseOMXvPe3AQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-26T13:09:09.332391Z"},"content_sha256":"7b2569e547de4e2bc2c7db3f7edbc0ed0a9ae9c55367d4f1a89b71367af094d3","schema_version":"1.0","event_id":"sha256:7b2569e547de4e2bc2c7db3f7edbc0ed0a9ae9c55367d4f1a89b71367af094d3"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/3BFUGRBZEDJXIP4A73JWATD6YJ/bundle.json","state_url":"https://pith.science/pith/3BFUGRBZEDJXIP4A73JWATD6YJ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/3BFUGRBZEDJXIP4A73JWATD6YJ/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-26T13:09:09Z","links":{"resolver":"https://pith.science/pith/3BFUGRBZEDJXIP4A73JWATD6YJ","bundle":"https://pith.science/pith/3BFUGRBZEDJXIP4A73JWATD6YJ/bundle.json","state":"https://pith.science/pith/3BFUGRBZEDJXIP4A73JWATD6YJ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/3BFUGRBZEDJXIP4A73JWATD6YJ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:3BFUGRBZEDJXIP4A73JWATD6YJ","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":"85b9f62cf7a7f6e496e51a5d45f4f04e7a513ff9bd5cf54062ff097c47e4e999","cross_cats_sorted":["cs.NE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2017-05-12T13:40:54Z","title_canon_sha256":"9e0fabf12ca4460b72bc4741a22f4efe5948f3b5b26ac1abd4e2ac9b69426d4b"},"schema_version":"1.0","source":{"id":"1705.05231","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1705.05231","created_at":"2026-05-18T00:44:31Z"},{"alias_kind":"arxiv_version","alias_value":"1705.05231v1","created_at":"2026-05-18T00:44:31Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1705.05231","created_at":"2026-05-18T00:44:31Z"},{"alias_kind":"pith_short_12","alias_value":"3BFUGRBZEDJX","created_at":"2026-05-18T12:30:58Z"},{"alias_kind":"pith_short_16","alias_value":"3BFUGRBZEDJXIP4A","created_at":"2026-05-18T12:30:58Z"},{"alias_kind":"pith_short_8","alias_value":"3BFUGRBZ","created_at":"2026-05-18T12:30:58Z"}],"graph_snapshots":[{"event_id":"sha256:7b2569e547de4e2bc2c7db3f7edbc0ed0a9ae9c55367d4f1a89b71367af094d3","target":"graph","created_at":"2026-05-18T00:44:31Z","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 address a problem of safe and efficient intersection crossing traffic management of autonomous and connected ground traffic. Toward this objective, we propose an algorithm that is called the Discrete-time occupancies trajectory based Intersection traffic Coordination Algorithm (DICA). We first prove that the basic DICA is deadlock free and also starvation free. Then, we show that the basic DICA has a computational complexity of $\\mathcal{O}(n^2 L_m^3)$ where $n$ is the number of vehicles granted to cross an intersection and $L_m$ is the maximum length of intersection crossing","authors_text":"Kyoung-Dae Kim, Qiang Lu","cross_cats":["cs.NE"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2017-05-12T13:40:54Z","title":"Autonomous and Connected Intersection Crossing Traffic Management using Discrete-Time Occupancies Trajectory"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1705.05231","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:f13b9e74bb107fdc9de6dcc5dcac5258e07faaeaf8854357660871773a8ca3c4","target":"record","created_at":"2026-05-18T00:44:31Z","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":"85b9f62cf7a7f6e496e51a5d45f4f04e7a513ff9bd5cf54062ff097c47e4e999","cross_cats_sorted":["cs.NE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2017-05-12T13:40:54Z","title_canon_sha256":"9e0fabf12ca4460b72bc4741a22f4efe5948f3b5b26ac1abd4e2ac9b69426d4b"},"schema_version":"1.0","source":{"id":"1705.05231","kind":"arxiv","version":1}},"canonical_sha256":"d84b43443920d3743f80fed3604c7ec27a21d509bf4fe407bb3ff1b5cc54883e","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"d84b43443920d3743f80fed3604c7ec27a21d509bf4fe407bb3ff1b5cc54883e","first_computed_at":"2026-05-18T00:44:31.052255Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:44:31.052255Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"fAWdbBjvWO+gfwI1lAPMCSNplC95b+M0GWbUVcPqN0BBdj4gBC4SmtuGvbOUkHIFzSanTd5gAyHGR5Ve7sgRCw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:44:31.052631Z","signed_message":"canonical_sha256_bytes"},"source_id":"1705.05231","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:f13b9e74bb107fdc9de6dcc5dcac5258e07faaeaf8854357660871773a8ca3c4","sha256:7b2569e547de4e2bc2c7db3f7edbc0ed0a9ae9c55367d4f1a89b71367af094d3"],"state_sha256":"baf6490206d017921167d4265f3b86a8a5bd8796b99b57f530a6425f9d4cbd24"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"sZ7K0fBuJFmGCu8G8fvdfOSysnjUDuzr+0jon58pOWWMPtdcA894KIvU/tFElzVaPngPEXz545ohikRacpF9AQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-26T13:09:09.334344Z","bundle_sha256":"cd37ea7385df3f89b5009b666383fcc26efdc9dc3c16403646690bbb8a3ffa2b"}}