{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2018:UQK5KNDAQO2KTLQ5CSQX633UQG","short_pith_number":"pith:UQK5KNDA","schema_version":"1.0","canonical_sha256":"a415d5346083b4a9ae1d14a17f6f7481948aed2af018daeb433e6d605e094362","source":{"kind":"arxiv","id":"1804.06760","version":4},"attestation_state":"computed","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"},"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":"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"},"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"},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1804.06760","created_at":"2026-05-17T23:56:48.080876+00:00"},{"alias_kind":"arxiv_version","alias_value":"1804.06760v4","created_at":"2026-05-17T23:56:48.080876+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1804.06760","created_at":"2026-05-17T23:56:48.080876+00:00"},{"alias_kind":"pith_short_12","alias_value":"UQK5KNDAQO2K","created_at":"2026-05-18T12:32:56.356000+00:00"},{"alias_kind":"pith_short_16","alias_value":"UQK5KNDAQO2KTLQ5","created_at":"2026-05-18T12:32:56.356000+00:00"},{"alias_kind":"pith_short_8","alias_value":"UQK5KNDA","created_at":"2026-05-18T12:32:56.356000+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/UQK5KNDAQO2KTLQ5CSQX633UQG","json":"https://pith.science/pith/UQK5KNDAQO2KTLQ5CSQX633UQG.json","graph_json":"https://pith.science/api/pith-number/UQK5KNDAQO2KTLQ5CSQX633UQG/graph.json","events_json":"https://pith.science/api/pith-number/UQK5KNDAQO2KTLQ5CSQX633UQG/events.json","paper":"https://pith.science/paper/UQK5KNDA"},"agent_actions":{"view_html":"https://pith.science/pith/UQK5KNDAQO2KTLQ5CSQX633UQG","download_json":"https://pith.science/pith/UQK5KNDAQO2KTLQ5CSQX633UQG.json","view_paper":"https://pith.science/paper/UQK5KNDA","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1804.06760&json=true","fetch_graph":"https://pith.science/api/pith-number/UQK5KNDAQO2KTLQ5CSQX633UQG/graph.json","fetch_events":"https://pith.science/api/pith-number/UQK5KNDAQO2KTLQ5CSQX633UQG/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/UQK5KNDAQO2KTLQ5CSQX633UQG/action/timestamp_anchor","attest_storage":"https://pith.science/pith/UQK5KNDAQO2KTLQ5CSQX633UQG/action/storage_attestation","attest_author":"https://pith.science/pith/UQK5KNDAQO2KTLQ5CSQX633UQG/action/author_attestation","sign_citation":"https://pith.science/pith/UQK5KNDAQO2KTLQ5CSQX633UQG/action/citation_signature","submit_replication":"https://pith.science/pith/UQK5KNDAQO2KTLQ5CSQX633UQG/action/replication_record"}},"created_at":"2026-05-17T23:56:48.080876+00:00","updated_at":"2026-05-17T23:56:48.080876+00:00"}