{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:WFDTKOLIVVPJLZOOTJLMSSZVPM","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":"ae05a8f1d39846019daaeae8e73bc19bdcdf0d5e1810f60a30c360e8842ce29d","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2024-05-27T08:06:21Z","title_canon_sha256":"5b03656aff06fc0d687aaad5b56900b7dbff9bd47ec5c937aeec4fd6371d5776"},"schema_version":"1.0","source":{"id":"2405.16914","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2405.16914","created_at":"2026-07-05T08:23:37Z"},{"alias_kind":"arxiv_version","alias_value":"2405.16914v1","created_at":"2026-07-05T08:23:37Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2405.16914","created_at":"2026-07-05T08:23:37Z"},{"alias_kind":"pith_short_12","alias_value":"WFDTKOLIVVPJ","created_at":"2026-07-05T08:23:37Z"},{"alias_kind":"pith_short_16","alias_value":"WFDTKOLIVVPJLZOO","created_at":"2026-07-05T08:23:37Z"},{"alias_kind":"pith_short_8","alias_value":"WFDTKOLI","created_at":"2026-07-05T08:23:37Z"}],"graph_snapshots":[{"event_id":"sha256:50562ebc54d4f228988ada5b0d7efbfca875b296a561c54cc7d1fb94f6187141","target":"graph","created_at":"2026-07-05T08:23:37Z","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/2405.16914/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Simulation-based testing remains the main approach for validating Autonomous Driving Systems. We propose a rigorous test method based on breaking down scenarios into simple ones, taking into account the fact that autopilots make decisions according to traffic rules whose application depends on local knowledge and context. This leads us to consider the autopilot as a dynamic system receiving three different types of vistas as input, each characterizing a specific driving operation and a corresponding control policy.\n  The test method for the considered vista types generates test cases for criti","authors_text":"Changwen Li, Jian Zhang, Joseph Sifakis, Rongjie Yan","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2024-05-27T08:06:21Z","title":"Rigorous Simulation-based Testing for Autonomous Driving Systems -- Targeting the Achilles' Heel of Four Open Autopilots"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2405.16914","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:041e87807528f7563dc718dabad2ee23bf040d3d35e8865596a853e9d68e2724","target":"record","created_at":"2026-07-05T08:23:37Z","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":"ae05a8f1d39846019daaeae8e73bc19bdcdf0d5e1810f60a30c360e8842ce29d","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2024-05-27T08:06:21Z","title_canon_sha256":"5b03656aff06fc0d687aaad5b56900b7dbff9bd47ec5c937aeec4fd6371d5776"},"schema_version":"1.0","source":{"id":"2405.16914","kind":"arxiv","version":1}},"canonical_sha256":"b147353968ad5e95e5ce9a56c94b357b01bcfe1ab3a0cc527e80475f538f0f68","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"b147353968ad5e95e5ce9a56c94b357b01bcfe1ab3a0cc527e80475f538f0f68","first_computed_at":"2026-07-05T08:23:37.355751Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T08:23:37.355751Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"WhSxxgq0YpIw2CHEea2W0XSrDFZ7bSfU5LOiItZn0izfHjArghJgvSezy+bQlCi8aOxR6YBQd6a1YbWdTaEHDA==","signature_status":"signed_v1","signed_at":"2026-07-05T08:23:37.356258Z","signed_message":"canonical_sha256_bytes"},"source_id":"2405.16914","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:041e87807528f7563dc718dabad2ee23bf040d3d35e8865596a853e9d68e2724","sha256:50562ebc54d4f228988ada5b0d7efbfca875b296a561c54cc7d1fb94f6187141"],"state_sha256":"4b222c07ff089c5dd2bfd9ed17db1ccf8e4b95aeb2076ce4267017cd9cf95c79"}