{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:5YNQ62BVNTWXR772E4G26QOFBP","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":"3a456b82273e20ae2dcf7e45f11fc3ed8ec304b6f9761ae0bfbe92a7bdaa4007","cross_cats_sorted":["cs.RO"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.MA","submitted_at":"2024-08-02T08:12:04Z","title_canon_sha256":"a6899fa6cf6f3dffe7e345af38899c65375c4bf3416d31c11eb94d4f5a1757c1"},"schema_version":"1.0","source":{"id":"2408.01093","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2408.01093","created_at":"2026-07-05T08:51:26Z"},{"alias_kind":"arxiv_version","alias_value":"2408.01093v1","created_at":"2026-07-05T08:51:26Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2408.01093","created_at":"2026-07-05T08:51:26Z"},{"alias_kind":"pith_short_12","alias_value":"5YNQ62BVNTWX","created_at":"2026-07-05T08:51:26Z"},{"alias_kind":"pith_short_16","alias_value":"5YNQ62BVNTWXR772","created_at":"2026-07-05T08:51:26Z"},{"alias_kind":"pith_short_8","alias_value":"5YNQ62BV","created_at":"2026-07-05T08:51:26Z"}],"graph_snapshots":[{"event_id":"sha256:b43f1481c4c594e17e2646117154e9b989249621125136e00bb1a00861ae1508","target":"graph","created_at":"2026-07-05T08:51:26Z","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/2408.01093/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Combining machine learning and formal methods (FMs) provides a possible solution to overcome the safety issue of autonomous driving (AD) vehicles. However, there are gaps to be bridged before this combination becomes practically applicable and useful. In an attempt to facilitate researchers in both FMs and AD areas, this paper proposes a framework that combines two well-known tools, namely CommonRoad and UPPAAL. On the one hand, CommonRoad can be enhanced by the rigorous semantics of models in UPPAAL, which enables a systematic and comprehensive understanding of the AD system's behaviour and t","authors_text":"Andreas Holck H{\\o}eg-Petersen, Kaige Tan, Kim Guldstrand Larsen, Lei Feng, Rong Gu","cross_cats":["cs.RO"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.MA","submitted_at":"2024-08-02T08:12:04Z","title":"CommonUppRoad: A Framework of Formal Modelling, Verifying, Learning, and Visualisation of Autonomous Vehicles"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2408.01093","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:2a98030410f334ce1322eed8a92b6c67f986625010161b521e0ef8dec122d136","target":"record","created_at":"2026-07-05T08:51:26Z","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":"3a456b82273e20ae2dcf7e45f11fc3ed8ec304b6f9761ae0bfbe92a7bdaa4007","cross_cats_sorted":["cs.RO"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.MA","submitted_at":"2024-08-02T08:12:04Z","title_canon_sha256":"a6899fa6cf6f3dffe7e345af38899c65375c4bf3416d31c11eb94d4f5a1757c1"},"schema_version":"1.0","source":{"id":"2408.01093","kind":"arxiv","version":1}},"canonical_sha256":"ee1b0f68356ced78fffa270daf41c50bec04b0cf14564bfa0a0d4981aa861d4c","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ee1b0f68356ced78fffa270daf41c50bec04b0cf14564bfa0a0d4981aa861d4c","first_computed_at":"2026-07-05T08:51:26.800408Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T08:51:26.800408Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"fBddwFsp+gOgVryL466tLHrD3imlYO3vCiMKAh+ujFSFoCJDFlR95Q2oRxcpyWudE36wrp/eNxR6KgWZcxzwCA==","signature_status":"signed_v1","signed_at":"2026-07-05T08:51:26.800751Z","signed_message":"canonical_sha256_bytes"},"source_id":"2408.01093","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:2a98030410f334ce1322eed8a92b6c67f986625010161b521e0ef8dec122d136","sha256:b43f1481c4c594e17e2646117154e9b989249621125136e00bb1a00861ae1508"],"state_sha256":"0f55dee59b5b847ae6e7b13ca52d40d3f01a7160e44fcf08658db882e52e3b56"}