{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:UQK5KNDAQO2KTLQ5CSQX633UQG","short_pith_number":"pith:UQK5KNDA","canonical_record":{"source":{"id":"1804.06760","kind":"arxiv","version":4},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2018-04-18T14:32:35Z","cross_cats_sorted":["cs.AI","cs.SE"],"title_canon_sha256":"8b6d83ff3a2c2cc8d8451800ff6b267ee60c7c35ae1219a1b57f36e83ef7fe49","abstract_canon_sha256":"843c3a28e3d7933f01ccb81e55ac266f7c342b8c4c59ec9e59981bd5c1b8061e"},"schema_version":"1.0"},"canonical_sha256":"a415d5346083b4a9ae1d14a17f6f7481948aed2af018daeb433e6d605e094362","source":{"kind":"arxiv","id":"1804.06760","version":4},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1804.06760","created_at":"2026-05-17T23:56:48Z"},{"alias_kind":"arxiv_version","alias_value":"1804.06760v4","created_at":"2026-05-17T23:56:48Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1804.06760","created_at":"2026-05-17T23:56:48Z"},{"alias_kind":"pith_short_12","alias_value":"UQK5KNDAQO2K","created_at":"2026-05-18T12:32:56Z"},{"alias_kind":"pith_short_16","alias_value":"UQK5KNDAQO2KTLQ5","created_at":"2026-05-18T12:32:56Z"},{"alias_kind":"pith_short_8","alias_value":"UQK5KNDA","created_at":"2026-05-18T12:32:56Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:UQK5KNDAQO2KTLQ5CSQX633UQG","target":"record","payload":{"canonical_record":{"source":{"id":"1804.06760","kind":"arxiv","version":4},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2018-04-18T14:32:35Z","cross_cats_sorted":["cs.AI","cs.SE"],"title_canon_sha256":"8b6d83ff3a2c2cc8d8451800ff6b267ee60c7c35ae1219a1b57f36e83ef7fe49","abstract_canon_sha256":"843c3a28e3d7933f01ccb81e55ac266f7c342b8c4c59ec9e59981bd5c1b8061e"},"schema_version":"1.0"},"canonical_sha256":"a415d5346083b4a9ae1d14a17f6f7481948aed2af018daeb433e6d605e094362","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:56:48.081367Z","signature_b64":"45GRF8rK1Y2MhATuUcHIWZkG3wz9WIvCE02aARsNdjl9qnWIUUeoH33Oh5aV9p+fSq6ATwMIQn2odDB7ghgmBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"a415d5346083b4a9ae1d14a17f6f7481948aed2af018daeb433e6d605e094362","last_reissued_at":"2026-05-17T23:56:48.080795Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:56:48.080795Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1804.06760","source_version":4,"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-05-17T23:56:48Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"gPWOfJlHgn27pI2s6guCPh8GAvZUJ8IuGZhidBvgJz9CnrwJnjF+5wYSVdtvdKMlzb4DhcaMxd3MR9NOp2FLAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-23T20:08:57.191880Z"},"content_sha256":"e00716e7c650ea4af553ba6d9307a6664eed3f19d47f7e0eed464add23927ee4","schema_version":"1.0","event_id":"sha256:e00716e7c650ea4af553ba6d9307a6664eed3f19d47f7e0eed464add23927ee4"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:UQK5KNDAQO2KTLQ5CSQX633UQG","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Simulation-based Adversarial Test Generation for Autonomous Vehicles with Machine Learning Components","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI","cs.SE"],"primary_cat":"cs.SY","authors_text":"Cumhur Erkan Tuncali, Georgios Fainekos, Hisahiro Ito, James Kapinski","submitted_at":"2018-04-18T14:32:35Z","abstract_excerpt":"Many organizations are developing autonomous driving systems, which are expected to be deployed at a large scale in the near future. Despite this, there is a lack of agreement on appropriate methods to test, debug, and certify the performance of these systems. One of the main challenges is that many autonomous driving systems have machine learning components, such as deep neural networks, for which formal properties are difficult to characterize. We present a testing framework that is compatible with test case generation and automatic falsification methods, which are used to evaluate cyber-phy"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1804.06760","kind":"arxiv","version":4},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"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-05-17T23:56:48Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"TnNgeyFH8yjl9K0gXsslsQOoayghrPhpVc8QfpwshtuFLxVJXWuVNWwDbBzFD0pSeKtKNdx2YwuLCN6QCjjECA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-23T20:08:57.192251Z"},"content_sha256":"b7b7dfcbca4d53d647e7f894b12c0f97a92f86469d9201802d7970d01fa8422b","schema_version":"1.0","event_id":"sha256:b7b7dfcbca4d53d647e7f894b12c0f97a92f86469d9201802d7970d01fa8422b"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/UQK5KNDAQO2KTLQ5CSQX633UQG/bundle.json","state_url":"https://pith.science/pith/UQK5KNDAQO2KTLQ5CSQX633UQG/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/UQK5KNDAQO2KTLQ5CSQX633UQG/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-05-23T20:08:57Z","links":{"resolver":"https://pith.science/pith/UQK5KNDAQO2KTLQ5CSQX633UQG","bundle":"https://pith.science/pith/UQK5KNDAQO2KTLQ5CSQX633UQG/bundle.json","state":"https://pith.science/pith/UQK5KNDAQO2KTLQ5CSQX633UQG/state.json","well_known_bundle":"https://pith.science/.well-known/pith/UQK5KNDAQO2KTLQ5CSQX633UQG/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:UQK5KNDAQO2KTLQ5CSQX633UQG","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":"843c3a28e3d7933f01ccb81e55ac266f7c342b8c4c59ec9e59981bd5c1b8061e","cross_cats_sorted":["cs.AI","cs.SE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2018-04-18T14:32:35Z","title_canon_sha256":"8b6d83ff3a2c2cc8d8451800ff6b267ee60c7c35ae1219a1b57f36e83ef7fe49"},"schema_version":"1.0","source":{"id":"1804.06760","kind":"arxiv","version":4}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1804.06760","created_at":"2026-05-17T23:56:48Z"},{"alias_kind":"arxiv_version","alias_value":"1804.06760v4","created_at":"2026-05-17T23:56:48Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1804.06760","created_at":"2026-05-17T23:56:48Z"},{"alias_kind":"pith_short_12","alias_value":"UQK5KNDAQO2K","created_at":"2026-05-18T12:32:56Z"},{"alias_kind":"pith_short_16","alias_value":"UQK5KNDAQO2KTLQ5","created_at":"2026-05-18T12:32:56Z"},{"alias_kind":"pith_short_8","alias_value":"UQK5KNDA","created_at":"2026-05-18T12:32:56Z"}],"graph_snapshots":[{"event_id":"sha256:b7b7dfcbca4d53d647e7f894b12c0f97a92f86469d9201802d7970d01fa8422b","target":"graph","created_at":"2026-05-17T23:56:48Z","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"},"paper":{"abstract_excerpt":"Many organizations are developing autonomous driving systems, which are expected to be deployed at a large scale in the near future. Despite this, there is a lack of agreement on appropriate methods to test, debug, and certify the performance of these systems. One of the main challenges is that many autonomous driving systems have machine learning components, such as deep neural networks, for which formal properties are difficult to characterize. We present a testing framework that is compatible with test case generation and automatic falsification methods, which are used to evaluate cyber-phy","authors_text":"Cumhur Erkan Tuncali, Georgios Fainekos, Hisahiro Ito, James Kapinski","cross_cats":["cs.AI","cs.SE"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2018-04-18T14:32:35Z","title":"Simulation-based Adversarial Test Generation for Autonomous Vehicles with Machine Learning Components"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1804.06760","kind":"arxiv","version":4},"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:e00716e7c650ea4af553ba6d9307a6664eed3f19d47f7e0eed464add23927ee4","target":"record","created_at":"2026-05-17T23:56:48Z","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":"843c3a28e3d7933f01ccb81e55ac266f7c342b8c4c59ec9e59981bd5c1b8061e","cross_cats_sorted":["cs.AI","cs.SE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2018-04-18T14:32:35Z","title_canon_sha256":"8b6d83ff3a2c2cc8d8451800ff6b267ee60c7c35ae1219a1b57f36e83ef7fe49"},"schema_version":"1.0","source":{"id":"1804.06760","kind":"arxiv","version":4}},"canonical_sha256":"a415d5346083b4a9ae1d14a17f6f7481948aed2af018daeb433e6d605e094362","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"a415d5346083b4a9ae1d14a17f6f7481948aed2af018daeb433e6d605e094362","first_computed_at":"2026-05-17T23:56:48.080795Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:56:48.080795Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"45GRF8rK1Y2MhATuUcHIWZkG3wz9WIvCE02aARsNdjl9qnWIUUeoH33Oh5aV9p+fSq6ATwMIQn2odDB7ghgmBQ==","signature_status":"signed_v1","signed_at":"2026-05-17T23:56:48.081367Z","signed_message":"canonical_sha256_bytes"},"source_id":"1804.06760","source_kind":"arxiv","source_version":4}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:e00716e7c650ea4af553ba6d9307a6664eed3f19d47f7e0eed464add23927ee4","sha256:b7b7dfcbca4d53d647e7f894b12c0f97a92f86469d9201802d7970d01fa8422b"],"state_sha256":"66395430d59d3368ce8d5c8e86538ae0ae6207c7ba01b58fcadc5fab61e6c543"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"JI3PE6g4d/nJxZQY2K6y5VA8BgD/pm27Fb5b7My4zYbdKRZVZV7uxB3S8R36+uKwwOx+TpjYYkZw29cGzd5jBg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-23T20:08:57.195994Z","bundle_sha256":"a9355a008f94c57f237cac44642f2890014f58889d3f4c04d0864c16e0661f5f"}}