{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2024:5YNQ62BVNTWXR772E4G26QOFBP","short_pith_number":"pith:5YNQ62BV","schema_version":"1.0","canonical_sha256":"ee1b0f68356ced78fffa270daf41c50bec04b0cf14564bfa0a0d4981aa861d4c","source":{"kind":"arxiv","id":"2408.01093","version":1},"attestation_state":"computed","paper":{"title":"CommonUppRoad: A Framework of Formal Modelling, Verifying, Learning, and Visualisation of Autonomous Vehicles","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.RO"],"primary_cat":"cs.MA","authors_text":"Andreas Holck H{\\o}eg-Petersen, Kaige Tan, Kim Guldstrand Larsen, Lei Feng, Rong Gu","submitted_at":"2024-08-02T08:12:04Z","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"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"2408.01093","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.MA","submitted_at":"2024-08-02T08:12:04Z","cross_cats_sorted":["cs.RO"],"title_canon_sha256":"a6899fa6cf6f3dffe7e345af38899c65375c4bf3416d31c11eb94d4f5a1757c1","abstract_canon_sha256":"3a456b82273e20ae2dcf7e45f11fc3ed8ec304b6f9761ae0bfbe92a7bdaa4007"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T08:51:26.800751Z","signature_b64":"fBddwFsp+gOgVryL466tLHrD3imlYO3vCiMKAh+ujFSFoCJDFlR95Q2oRxcpyWudE36wrp/eNxR6KgWZcxzwCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ee1b0f68356ced78fffa270daf41c50bec04b0cf14564bfa0a0d4981aa861d4c","last_reissued_at":"2026-07-05T08:51:26.800408Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T08:51:26.800408Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"CommonUppRoad: A Framework of Formal Modelling, Verifying, Learning, and Visualisation of Autonomous Vehicles","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.RO"],"primary_cat":"cs.MA","authors_text":"Andreas Holck H{\\o}eg-Petersen, Kaige Tan, Kim Guldstrand Larsen, Lei Feng, Rong Gu","submitted_at":"2024-08-02T08:12:04Z","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"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2408.01093","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2408.01093/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2408.01093","created_at":"2026-07-05T08:51:26.800464+00:00"},{"alias_kind":"arxiv_version","alias_value":"2408.01093v1","created_at":"2026-07-05T08:51:26.800464+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2408.01093","created_at":"2026-07-05T08:51:26.800464+00:00"},{"alias_kind":"pith_short_12","alias_value":"5YNQ62BVNTWX","created_at":"2026-07-05T08:51:26.800464+00:00"},{"alias_kind":"pith_short_16","alias_value":"5YNQ62BVNTWXR772","created_at":"2026-07-05T08:51:26.800464+00:00"},{"alias_kind":"pith_short_8","alias_value":"5YNQ62BV","created_at":"2026-07-05T08:51:26.800464+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":1,"internal_anchor_count":1,"sample":[{"citing_arxiv_id":"2411.14375","citing_title":"Model Checking for Reinforcement Learning in Autonomous Driving: One Can Do More Than You Think!","ref_index":13,"is_internal_anchor":true}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/5YNQ62BVNTWXR772E4G26QOFBP","json":"https://pith.science/pith/5YNQ62BVNTWXR772E4G26QOFBP.json","graph_json":"https://pith.science/api/pith-number/5YNQ62BVNTWXR772E4G26QOFBP/graph.json","events_json":"https://pith.science/api/pith-number/5YNQ62BVNTWXR772E4G26QOFBP/events.json","paper":"https://pith.science/paper/5YNQ62BV"},"agent_actions":{"view_html":"https://pith.science/pith/5YNQ62BVNTWXR772E4G26QOFBP","download_json":"https://pith.science/pith/5YNQ62BVNTWXR772E4G26QOFBP.json","view_paper":"https://pith.science/paper/5YNQ62BV","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2408.01093&json=true","fetch_graph":"https://pith.science/api/pith-number/5YNQ62BVNTWXR772E4G26QOFBP/graph.json","fetch_events":"https://pith.science/api/pith-number/5YNQ62BVNTWXR772E4G26QOFBP/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/5YNQ62BVNTWXR772E4G26QOFBP/action/timestamp_anchor","attest_storage":"https://pith.science/pith/5YNQ62BVNTWXR772E4G26QOFBP/action/storage_attestation","attest_author":"https://pith.science/pith/5YNQ62BVNTWXR772E4G26QOFBP/action/author_attestation","sign_citation":"https://pith.science/pith/5YNQ62BVNTWXR772E4G26QOFBP/action/citation_signature","submit_replication":"https://pith.science/pith/5YNQ62BVNTWXR772E4G26QOFBP/action/replication_record"}},"created_at":"2026-07-05T08:51:26.800464+00:00","updated_at":"2026-07-05T08:51:26.800464+00:00"}