{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2017:FIDNJOYAC4H7M4M5PLBZSKLPM7","short_pith_number":"pith:FIDNJOYA","schema_version":"1.0","canonical_sha256":"2a06d4bb00170ff6719d7ac399296f67eb21477cfcfd4d0f3f35e97aa7d22afe","source":{"kind":"arxiv","id":"1703.00978","version":3},"attestation_state":"computed","paper":{"title":"Compositional Falsification of Cyber-Physical Systems with Machine Learning Components","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LG","cs.SE"],"primary_cat":"cs.SY","authors_text":"Alexandre Donz\\'e, Sanjit A. Seshia, Tommaso Dreossi","submitted_at":"2017-03-02T22:58:10Z","abstract_excerpt":"Cyber-physical systems (CPS), such as automotive systems, are starting to include sophisticated machine learning (ML) components. Their correctness, therefore, depends on properties of the inner ML modules. While learning algorithms aim to generalize from examples, they are only as good as the examples provided, and recent efforts have shown that they can produce inconsistent output under small adversarial perturbations. This raises the question: can the output from learning components can lead to a failure of the entire CPS? In this work, we address this question by formulating it as a proble"},"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":"1703.00978","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2017-03-02T22:58:10Z","cross_cats_sorted":["cs.LG","cs.SE"],"title_canon_sha256":"2e506c2251afd3d88c104b9d5d2d4e7bf6bbd29405ec9bc56c9f88ade2544e0e","abstract_canon_sha256":"000f1c7e2594aa3fa2c48b6518abc767ffa946015f9664b3894e43ae175b744a"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:57:59.904040Z","signature_b64":"E/hQ2ijN8l5TXHH/tdek9vcU8hq/6iZ8a5GRkqRjt8U4Pz0tl8PF6uJBHi4irORby0RRtMDDL+FQzM9o1qSJDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"2a06d4bb00170ff6719d7ac399296f67eb21477cfcfd4d0f3f35e97aa7d22afe","last_reissued_at":"2026-05-17T23:57:59.903514Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:57:59.903514Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Compositional Falsification of Cyber-Physical Systems with Machine Learning Components","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LG","cs.SE"],"primary_cat":"cs.SY","authors_text":"Alexandre Donz\\'e, Sanjit A. Seshia, Tommaso Dreossi","submitted_at":"2017-03-02T22:58:10Z","abstract_excerpt":"Cyber-physical systems (CPS), such as automotive systems, are starting to include sophisticated machine learning (ML) components. Their correctness, therefore, depends on properties of the inner ML modules. While learning algorithms aim to generalize from examples, they are only as good as the examples provided, and recent efforts have shown that they can produce inconsistent output under small adversarial perturbations. This raises the question: can the output from learning components can lead to a failure of the entire CPS? In this work, we address this question by formulating it as a proble"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1703.00978","kind":"arxiv","version":3},"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":"1703.00978","created_at":"2026-05-17T23:57:59.903596+00:00"},{"alias_kind":"arxiv_version","alias_value":"1703.00978v3","created_at":"2026-05-17T23:57:59.903596+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1703.00978","created_at":"2026-05-17T23:57:59.903596+00:00"},{"alias_kind":"pith_short_12","alias_value":"FIDNJOYAC4H7","created_at":"2026-05-18T12:31:15.632608+00:00"},{"alias_kind":"pith_short_16","alias_value":"FIDNJOYAC4H7M4M5","created_at":"2026-05-18T12:31:15.632608+00:00"},{"alias_kind":"pith_short_8","alias_value":"FIDNJOYA","created_at":"2026-05-18T12:31:15.632608+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":1,"internal_anchor_count":1,"sample":[{"citing_arxiv_id":"1908.11779","citing_title":"Analyzing Cyber-Physical Systems from the Perspective of Artificial Intelligence","ref_index":55,"is_internal_anchor":true}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/FIDNJOYAC4H7M4M5PLBZSKLPM7","json":"https://pith.science/pith/FIDNJOYAC4H7M4M5PLBZSKLPM7.json","graph_json":"https://pith.science/api/pith-number/FIDNJOYAC4H7M4M5PLBZSKLPM7/graph.json","events_json":"https://pith.science/api/pith-number/FIDNJOYAC4H7M4M5PLBZSKLPM7/events.json","paper":"https://pith.science/paper/FIDNJOYA"},"agent_actions":{"view_html":"https://pith.science/pith/FIDNJOYAC4H7M4M5PLBZSKLPM7","download_json":"https://pith.science/pith/FIDNJOYAC4H7M4M5PLBZSKLPM7.json","view_paper":"https://pith.science/paper/FIDNJOYA","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1703.00978&json=true","fetch_graph":"https://pith.science/api/pith-number/FIDNJOYAC4H7M4M5PLBZSKLPM7/graph.json","fetch_events":"https://pith.science/api/pith-number/FIDNJOYAC4H7M4M5PLBZSKLPM7/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/FIDNJOYAC4H7M4M5PLBZSKLPM7/action/timestamp_anchor","attest_storage":"https://pith.science/pith/FIDNJOYAC4H7M4M5PLBZSKLPM7/action/storage_attestation","attest_author":"https://pith.science/pith/FIDNJOYAC4H7M4M5PLBZSKLPM7/action/author_attestation","sign_citation":"https://pith.science/pith/FIDNJOYAC4H7M4M5PLBZSKLPM7/action/citation_signature","submit_replication":"https://pith.science/pith/FIDNJOYAC4H7M4M5PLBZSKLPM7/action/replication_record"}},"created_at":"2026-05-17T23:57:59.903596+00:00","updated_at":"2026-05-17T23:57:59.903596+00:00"}