{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2019:KHOSHQZJGADINCYCDMWZ3TLHAC","short_pith_number":"pith:KHOSHQZJ","schema_version":"1.0","canonical_sha256":"51dd23c3293006868b021b2d9dcd670095be203b9cc5d470f5d52f7460b8ea76","source":{"kind":"arxiv","id":"1908.01094","version":1},"attestation_state":"computed","paper":{"title":"Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LG","cs.SE"],"primary_cat":"cs.RO","authors_text":"Cumhur Erkan Tuncali, Danil Prokhorov, Georgios Fainekos, Hisahiro Ito, James Kapinski","submitted_at":"2019-08-02T23:59:26Z","abstract_excerpt":"Autonomous vehicles are complex systems that are challenging to test and debug. A requirements-driven approach to the development process can decrease the resources required to design and test these systems, while simultaneously increasing the reliability. We present a testing framework that uses signal temporal logic (STL), which is a precise and unambiguous requirements language. Our framework evaluates test cases against the STL formulae and additionally uses the requirements to automatically identify test cases that fail to satisfy the requirements. One of the key features of our tool is t"},"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":"1908.01094","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2019-08-02T23:59:26Z","cross_cats_sorted":["cs.LG","cs.SE"],"title_canon_sha256":"ea6714bf36451f8fce1cd4a8f523ab03b78ddb3dac8ef6ce24fc2dc43d30ba97","abstract_canon_sha256":"c53c83ad8f370ff0715723b2e7187a95c3a7f0b4635bbadbda5c69d1eeacee23"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-04T23:51:27.153236Z","signature_b64":"j0ATDIeikC3EIhLVq091jok/gzt+VEQj1/X+3Q2Vst05vjFpmbG0c7/aysliVgb8khv+UdEZmSYr+9OTKjeUBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"51dd23c3293006868b021b2d9dcd670095be203b9cc5d470f5d52f7460b8ea76","last_reissued_at":"2026-07-04T23:51:27.152875Z","signature_status":"signed_v1","first_computed_at":"2026-07-04T23:51:27.152875Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LG","cs.SE"],"primary_cat":"cs.RO","authors_text":"Cumhur Erkan Tuncali, Danil Prokhorov, Georgios Fainekos, Hisahiro Ito, James Kapinski","submitted_at":"2019-08-02T23:59:26Z","abstract_excerpt":"Autonomous vehicles are complex systems that are challenging to test and debug. A requirements-driven approach to the development process can decrease the resources required to design and test these systems, while simultaneously increasing the reliability. We present a testing framework that uses signal temporal logic (STL), which is a precise and unambiguous requirements language. Our framework evaluates test cases against the STL formulae and additionally uses the requirements to automatically identify test cases that fail to satisfy the requirements. One of the key features of our tool is t"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1908.01094","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/1908.01094/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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1908.01094","created_at":"2026-07-04T23:51:27.152930+00:00"},{"alias_kind":"arxiv_version","alias_value":"1908.01094v1","created_at":"2026-07-04T23:51:27.152930+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1908.01094","created_at":"2026-07-04T23:51:27.152930+00:00"},{"alias_kind":"pith_short_12","alias_value":"KHOSHQZJGADI","created_at":"2026-07-04T23:51:27.152930+00:00"},{"alias_kind":"pith_short_16","alias_value":"KHOSHQZJGADINCYC","created_at":"2026-07-04T23:51:27.152930+00:00"},{"alias_kind":"pith_short_8","alias_value":"KHOSHQZJ","created_at":"2026-07-04T23:51:27.152930+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/KHOSHQZJGADINCYCDMWZ3TLHAC","json":"https://pith.science/pith/KHOSHQZJGADINCYCDMWZ3TLHAC.json","graph_json":"https://pith.science/api/pith-number/KHOSHQZJGADINCYCDMWZ3TLHAC/graph.json","events_json":"https://pith.science/api/pith-number/KHOSHQZJGADINCYCDMWZ3TLHAC/events.json","paper":"https://pith.science/paper/KHOSHQZJ"},"agent_actions":{"view_html":"https://pith.science/pith/KHOSHQZJGADINCYCDMWZ3TLHAC","download_json":"https://pith.science/pith/KHOSHQZJGADINCYCDMWZ3TLHAC.json","view_paper":"https://pith.science/paper/KHOSHQZJ","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1908.01094&json=true","fetch_graph":"https://pith.science/api/pith-number/KHOSHQZJGADINCYCDMWZ3TLHAC/graph.json","fetch_events":"https://pith.science/api/pith-number/KHOSHQZJGADINCYCDMWZ3TLHAC/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/KHOSHQZJGADINCYCDMWZ3TLHAC/action/timestamp_anchor","attest_storage":"https://pith.science/pith/KHOSHQZJGADINCYCDMWZ3TLHAC/action/storage_attestation","attest_author":"https://pith.science/pith/KHOSHQZJGADINCYCDMWZ3TLHAC/action/author_attestation","sign_citation":"https://pith.science/pith/KHOSHQZJGADINCYCDMWZ3TLHAC/action/citation_signature","submit_replication":"https://pith.science/pith/KHOSHQZJGADINCYCDMWZ3TLHAC/action/replication_record"}},"created_at":"2026-07-04T23:51:27.152930+00:00","updated_at":"2026-07-04T23:51:27.152930+00:00"}