{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:PQ2MUPFLMNLJ3TINNKA5KD2YBT","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":"1827d3af4b8ed84a7eaae4ba28bb3970b947d3f5a0cbb6fde114e2701cf47e3e","cross_cats_sorted":["cs.SY","eess.SY","stat.CO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2023-02-02T19:49:28Z","title_canon_sha256":"71e79ca9949acccc96067f9888f94e5ac2bf9f36a08e1dae364f599a2e53facb"},"schema_version":"1.0","source":{"id":"2302.01388","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2302.01388","created_at":"2026-07-05T05:46:37Z"},{"alias_kind":"arxiv_version","alias_value":"2302.01388v2","created_at":"2026-07-05T05:46:37Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2302.01388","created_at":"2026-07-05T05:46:37Z"},{"alias_kind":"pith_short_12","alias_value":"PQ2MUPFLMNLJ","created_at":"2026-07-05T05:46:37Z"},{"alias_kind":"pith_short_16","alias_value":"PQ2MUPFLMNLJ3TIN","created_at":"2026-07-05T05:46:37Z"},{"alias_kind":"pith_short_8","alias_value":"PQ2MUPFL","created_at":"2026-07-05T05:46:37Z"}],"graph_snapshots":[{"event_id":"sha256:beb36ab83d0e87e3cfdb79c124e25d3c9b52d6bb2d5f0f3940887d2754b552c6","target":"graph","created_at":"2026-07-05T05:46: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/2302.01388/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Traffic systems are multi-agent cyber-physical systems whose performance is closely related to human welfare. They work in open environments and are subject to uncertainties from various sources, making their performance hard to verify by traditional model-based approaches. Alternatively, statistical model checking (SMC) can verify their performance by sequentially drawing sample data until the correctness of a performance specification can be inferred with desired statistical accuracy. This work aims to verify traffic systems with privacy, motivated by the fact that the data used may include ","authors_text":"Geir E. Dullerud, Mark Yen, Yu Wang","cross_cats":["cs.SY","eess.SY","stat.CO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2023-02-02T19:49:28Z","title":"Statistical Verification of Traffic Systems with Expected Differential Privacy"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2302.01388","kind":"arxiv","version":2},"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:87aed0f150d99b9cac3be8210bb46cef2110b2795cb22457d2322b290b842cac","target":"record","created_at":"2026-07-05T05:46: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":"1827d3af4b8ed84a7eaae4ba28bb3970b947d3f5a0cbb6fde114e2701cf47e3e","cross_cats_sorted":["cs.SY","eess.SY","stat.CO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2023-02-02T19:49:28Z","title_canon_sha256":"71e79ca9949acccc96067f9888f94e5ac2bf9f36a08e1dae364f599a2e53facb"},"schema_version":"1.0","source":{"id":"2302.01388","kind":"arxiv","version":2}},"canonical_sha256":"7c34ca3cab63569dcd0d6a81d50f580cfafdbb40e90835c9618e9f5fcc7bad61","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"7c34ca3cab63569dcd0d6a81d50f580cfafdbb40e90835c9618e9f5fcc7bad61","first_computed_at":"2026-07-05T05:46:37.052489Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T05:46:37.052489Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"1UrwSwyiENqoR2KTpxEubxJF/knOyF8DHnMeD6yUxWpAfduDh+WWBJ56HlMoZGzmAmfao6yFgf1Hh4ofjUx5Cw==","signature_status":"signed_v1","signed_at":"2026-07-05T05:46:37.052886Z","signed_message":"canonical_sha256_bytes"},"source_id":"2302.01388","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:87aed0f150d99b9cac3be8210bb46cef2110b2795cb22457d2322b290b842cac","sha256:beb36ab83d0e87e3cfdb79c124e25d3c9b52d6bb2d5f0f3940887d2754b552c6"],"state_sha256":"7c6c921f55137b34b0d422cf6209870e2b13fa9dc76cf5498a206974ad011c5b"}