{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2020:YCBX5USNXV6NU7AGARSSI4RCTM","short_pith_number":"pith:YCBX5USN","canonical_record":{"source":{"id":"2008.09510","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2020-08-19T19:50:56Z","cross_cats_sorted":["cs.SE"],"title_canon_sha256":"4da4cdc29a0c0e947cbd93df709610a46f7f50ac8c13f396af1c1325190122fa","abstract_canon_sha256":"e48bda1555eeed8df8108d813cd1b7b474ef4ae37c0b3055c0eb4ca608bbc7f9"},"schema_version":"1.0"},"canonical_sha256":"c0837ed24dbd7cda7c0604652472229b0f3fb8b7f9205a532036ccb65fabac80","source":{"kind":"arxiv","id":"2008.09510","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2008.09510","created_at":"2026-07-05T01:28:55Z"},{"alias_kind":"arxiv_version","alias_value":"2008.09510v1","created_at":"2026-07-05T01:28:55Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2008.09510","created_at":"2026-07-05T01:28:55Z"},{"alias_kind":"pith_short_12","alias_value":"YCBX5USNXV6N","created_at":"2026-07-05T01:28:55Z"},{"alias_kind":"pith_short_16","alias_value":"YCBX5USNXV6NU7AG","created_at":"2026-07-05T01:28:55Z"},{"alias_kind":"pith_short_8","alias_value":"YCBX5USN","created_at":"2026-07-05T01:28:55Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2020:YCBX5USNXV6NU7AGARSSI4RCTM","target":"record","payload":{"canonical_record":{"source":{"id":"2008.09510","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2020-08-19T19:50:56Z","cross_cats_sorted":["cs.SE"],"title_canon_sha256":"4da4cdc29a0c0e947cbd93df709610a46f7f50ac8c13f396af1c1325190122fa","abstract_canon_sha256":"e48bda1555eeed8df8108d813cd1b7b474ef4ae37c0b3055c0eb4ca608bbc7f9"},"schema_version":"1.0"},"canonical_sha256":"c0837ed24dbd7cda7c0604652472229b0f3fb8b7f9205a532036ccb65fabac80","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T01:28:55.774428Z","signature_b64":"9v8TZcWgfHzMwhWX7+DCadb47baLKMb9q9ghff4+1N04oIzEm0e5yzFLh2zT04yCmqjISGuBGDVbb64LweifDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"c0837ed24dbd7cda7c0604652472229b0f3fb8b7f9205a532036ccb65fabac80","last_reissued_at":"2026-07-05T01:28:55.773954Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T01:28:55.773954Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2008.09510","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T01:28:55Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"P8eAJLFtY+0MVndYDTAyNNzYXS55Ny9HE6I91yGi4Kr3dp16mF7tiLDmQ0uglCaK8G3JgLQWWgAm4fXzgNMyAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-03T18:39:50.116959Z"},"content_sha256":"cb7bf48c79c53a8d5cdf69415e0f215637002971a5c15b8d4157f77274dbf492","schema_version":"1.0","event_id":"sha256:cb7bf48c79c53a8d5cdf69415e0f215637002971a5c15b8d4157f77274dbf492"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2020:YCBX5USNXV6NU7AGARSSI4RCTM","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Assessing Safety-Critical Systems from Operational Testing: A Study on Autonomous Vehicles","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SE"],"primary_cat":"cs.AI","authors_text":"David Flynn, Kizito Salako, Lorenzo Strigini, Valentin Robu, Xingyu Zhao","submitted_at":"2020-08-19T19:50:56Z","abstract_excerpt":"Context: Demonstrating high reliability and safety for safety-critical systems (SCSs) remains a hard problem. Diverse evidence needs to be combined in a rigorous way: in particular, results of operational testing with other evidence from design and verification. Growing use of machine learning in SCSs, by precluding most established methods for gaining assurance, makes operational testing even more important for supporting safety and reliability claims. Objective: We use Autonomous Vehicles (AVs) as a current example to revisit the problem of demonstrating high reliability. AVs are making thei"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2008.09510","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/2008.09510/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"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T01:28:55Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"TcHLr555nGckHtcoLT+kbh2fJJvFmUPYONs2ieSVu7Fl66XK2WlbHAUB1XSpnhMqARkiC3ZHr3wWTSR+6nhfAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-03T18:39:50.117471Z"},"content_sha256":"6f0dcc9154bb8013d23bb24f8de52fc12c75b0294a3dadcb889bd1b746d922ad","schema_version":"1.0","event_id":"sha256:6f0dcc9154bb8013d23bb24f8de52fc12c75b0294a3dadcb889bd1b746d922ad"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/YCBX5USNXV6NU7AGARSSI4RCTM/bundle.json","state_url":"https://pith.science/pith/YCBX5USNXV6NU7AGARSSI4RCTM/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/YCBX5USNXV6NU7AGARSSI4RCTM/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-08-03T18:39:50Z","links":{"resolver":"https://pith.science/pith/YCBX5USNXV6NU7AGARSSI4RCTM","bundle":"https://pith.science/pith/YCBX5USNXV6NU7AGARSSI4RCTM/bundle.json","state":"https://pith.science/pith/YCBX5USNXV6NU7AGARSSI4RCTM/state.json","well_known_bundle":"https://pith.science/.well-known/pith/YCBX5USNXV6NU7AGARSSI4RCTM/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2020:YCBX5USNXV6NU7AGARSSI4RCTM","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":"e48bda1555eeed8df8108d813cd1b7b474ef4ae37c0b3055c0eb4ca608bbc7f9","cross_cats_sorted":["cs.SE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2020-08-19T19:50:56Z","title_canon_sha256":"4da4cdc29a0c0e947cbd93df709610a46f7f50ac8c13f396af1c1325190122fa"},"schema_version":"1.0","source":{"id":"2008.09510","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2008.09510","created_at":"2026-07-05T01:28:55Z"},{"alias_kind":"arxiv_version","alias_value":"2008.09510v1","created_at":"2026-07-05T01:28:55Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2008.09510","created_at":"2026-07-05T01:28:55Z"},{"alias_kind":"pith_short_12","alias_value":"YCBX5USNXV6N","created_at":"2026-07-05T01:28:55Z"},{"alias_kind":"pith_short_16","alias_value":"YCBX5USNXV6NU7AG","created_at":"2026-07-05T01:28:55Z"},{"alias_kind":"pith_short_8","alias_value":"YCBX5USN","created_at":"2026-07-05T01:28:55Z"}],"graph_snapshots":[{"event_id":"sha256:6f0dcc9154bb8013d23bb24f8de52fc12c75b0294a3dadcb889bd1b746d922ad","target":"graph","created_at":"2026-07-05T01:28:55Z","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/2008.09510/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Context: Demonstrating high reliability and safety for safety-critical systems (SCSs) remains a hard problem. Diverse evidence needs to be combined in a rigorous way: in particular, results of operational testing with other evidence from design and verification. Growing use of machine learning in SCSs, by precluding most established methods for gaining assurance, makes operational testing even more important for supporting safety and reliability claims. Objective: We use Autonomous Vehicles (AVs) as a current example to revisit the problem of demonstrating high reliability. AVs are making thei","authors_text":"David Flynn, Kizito Salako, Lorenzo Strigini, Valentin Robu, Xingyu Zhao","cross_cats":["cs.SE"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2020-08-19T19:50:56Z","title":"Assessing Safety-Critical Systems from Operational Testing: A Study on Autonomous Vehicles"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2008.09510","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:cb7bf48c79c53a8d5cdf69415e0f215637002971a5c15b8d4157f77274dbf492","target":"record","created_at":"2026-07-05T01:28:55Z","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":"e48bda1555eeed8df8108d813cd1b7b474ef4ae37c0b3055c0eb4ca608bbc7f9","cross_cats_sorted":["cs.SE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2020-08-19T19:50:56Z","title_canon_sha256":"4da4cdc29a0c0e947cbd93df709610a46f7f50ac8c13f396af1c1325190122fa"},"schema_version":"1.0","source":{"id":"2008.09510","kind":"arxiv","version":1}},"canonical_sha256":"c0837ed24dbd7cda7c0604652472229b0f3fb8b7f9205a532036ccb65fabac80","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"c0837ed24dbd7cda7c0604652472229b0f3fb8b7f9205a532036ccb65fabac80","first_computed_at":"2026-07-05T01:28:55.773954Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T01:28:55.773954Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"9v8TZcWgfHzMwhWX7+DCadb47baLKMb9q9ghff4+1N04oIzEm0e5yzFLh2zT04yCmqjISGuBGDVbb64LweifDA==","signature_status":"signed_v1","signed_at":"2026-07-05T01:28:55.774428Z","signed_message":"canonical_sha256_bytes"},"source_id":"2008.09510","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:cb7bf48c79c53a8d5cdf69415e0f215637002971a5c15b8d4157f77274dbf492","sha256:6f0dcc9154bb8013d23bb24f8de52fc12c75b0294a3dadcb889bd1b746d922ad"],"state_sha256":"ce222529cd29811b5eb8b3cc137ae1ec40b409dc613e2b91a4769c446d05e951"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"RPc8nTuEU1fe0WUs1So0V+3p4KzQRZgBmZQFfdZS//tRaYow1qM072B6kr32h3ajSgAvaoboflaiWi9uxh2wCQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-03T18:39:50.122699Z","bundle_sha256":"c976a02d544fd0861eda1cf7a236f47e71c34b3d10dd37ab8ba91845be22a0e9"}}