{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:X7R2JHJQLHXBL6Z5FUH5IIUGQE","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":"1638dd8c66f914ffa051875abc6098168f61846563c6b93801bee5d7b55dd6d8","cross_cats_sorted":["cs.SY","eess.SY"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.RO","submitted_at":"2023-09-21T17:52:20Z","title_canon_sha256":"d5602c7b7442a293ab4cbcacc1ab6418377d5116c7884a0f79d592282fb98e7a"},"schema_version":"1.0","source":{"id":"2309.12289","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2309.12289","created_at":"2026-07-05T06:53:01Z"},{"alias_kind":"arxiv_version","alias_value":"2309.12289v1","created_at":"2026-07-05T06:53:01Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2309.12289","created_at":"2026-07-05T06:53:01Z"},{"alias_kind":"pith_short_12","alias_value":"X7R2JHJQLHXB","created_at":"2026-07-05T06:53:01Z"},{"alias_kind":"pith_short_16","alias_value":"X7R2JHJQLHXBL6Z5","created_at":"2026-07-05T06:53:01Z"},{"alias_kind":"pith_short_8","alias_value":"X7R2JHJQ","created_at":"2026-07-05T06:53:01Z"}],"graph_snapshots":[{"event_id":"sha256:767181aaa7b2cc985b76b40620759bf99c99c61ee256fe8619ee6a54d0437e59","target":"graph","created_at":"2026-07-05T06:53:01Z","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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2309.12289/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Despite large advances in recent years, real-time capable motion planning for autonomous road vehicles remains a huge challenge. In this work, we present a decision module that is based on set-based reachability analysis: First, we identify all possible driving corridors by computing the reachable set for the longitudinal position of the vehicle along the lanelets of the road network, where lane changes are modeled as discrete events. Next, we select the best driving corridor based on a cost function that penalizes lane changes and deviations from a desired velocity profile. Finally, we genera","authors_text":"Niklas Kochdumper, Stanley Bak","cross_cats":["cs.SY","eess.SY"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.RO","submitted_at":"2023-09-21T17:52:20Z","title":"Real-Time Capable Decision Making for Autonomous Driving Using Reachable Sets"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2309.12289","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:5b414b13462722aa34b0cb86c706fc313026fb29e906c0c1b27fd319cfe6c31c","target":"record","created_at":"2026-07-05T06:53:01Z","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":"1638dd8c66f914ffa051875abc6098168f61846563c6b93801bee5d7b55dd6d8","cross_cats_sorted":["cs.SY","eess.SY"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.RO","submitted_at":"2023-09-21T17:52:20Z","title_canon_sha256":"d5602c7b7442a293ab4cbcacc1ab6418377d5116c7884a0f79d592282fb98e7a"},"schema_version":"1.0","source":{"id":"2309.12289","kind":"arxiv","version":1}},"canonical_sha256":"bfe3a49d3059ee15fb3d2d0fd4228681180328ac52147e99360dbf92ff194b10","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"bfe3a49d3059ee15fb3d2d0fd4228681180328ac52147e99360dbf92ff194b10","first_computed_at":"2026-07-05T06:53:01.262406Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T06:53:01.262406Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"PRQewYeXeC/ERiIaFXoG0U2LewIq17rFf9crqrHxU03JxYc5jxjXqkZvtcSkr64LXmd+aibfgCZoda+f6QDiBA==","signature_status":"signed_v1","signed_at":"2026-07-05T06:53:01.262803Z","signed_message":"canonical_sha256_bytes"},"source_id":"2309.12289","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:5b414b13462722aa34b0cb86c706fc313026fb29e906c0c1b27fd319cfe6c31c","sha256:767181aaa7b2cc985b76b40620759bf99c99c61ee256fe8619ee6a54d0437e59"],"state_sha256":"22473b290468e636d2eb9288f690ed3140a1b6471dcf708a7da4a65c1caa721f"}