{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:TBPYXRP7TTW2VPV332XOBZLYZM","short_pith_number":"pith:TBPYXRP7","canonical_record":{"source":{"id":"2409.08097","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2024-09-12T14:51:03Z","cross_cats_sorted":["cs.LG","cs.SY"],"title_canon_sha256":"14aafb5bd74838f879bc32ebc0dd3db3f78cc98e20b7272bdf38a2ea2984eeae","abstract_canon_sha256":"3742123a9e398997836815ee16e031c1a607132dcea6cf86b9fb0601ae206f21"},"schema_version":"1.0"},"canonical_sha256":"985f8bc5ff9cedaabebbdeaee0e578cb0f1c10ed3f6c3d15a8a303e042409f4e","source":{"kind":"arxiv","id":"2409.08097","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2409.08097","created_at":"2026-07-05T09:06:20Z"},{"alias_kind":"arxiv_version","alias_value":"2409.08097v1","created_at":"2026-07-05T09:06:20Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2409.08097","created_at":"2026-07-05T09:06:20Z"},{"alias_kind":"pith_short_12","alias_value":"TBPYXRP7TTW2","created_at":"2026-07-05T09:06:20Z"},{"alias_kind":"pith_short_16","alias_value":"TBPYXRP7TTW2VPV3","created_at":"2026-07-05T09:06:20Z"},{"alias_kind":"pith_short_8","alias_value":"TBPYXRP7","created_at":"2026-07-05T09:06:20Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:TBPYXRP7TTW2VPV332XOBZLYZM","target":"record","payload":{"canonical_record":{"source":{"id":"2409.08097","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2024-09-12T14:51:03Z","cross_cats_sorted":["cs.LG","cs.SY"],"title_canon_sha256":"14aafb5bd74838f879bc32ebc0dd3db3f78cc98e20b7272bdf38a2ea2984eeae","abstract_canon_sha256":"3742123a9e398997836815ee16e031c1a607132dcea6cf86b9fb0601ae206f21"},"schema_version":"1.0"},"canonical_sha256":"985f8bc5ff9cedaabebbdeaee0e578cb0f1c10ed3f6c3d15a8a303e042409f4e","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T09:06:20.186705Z","signature_b64":"OCSVrj7nqznTUgg06QUWYL0QsE90djgBHb7T689Z903CdnSbgy+sC9moViEDance9MQzsAIBMKFAXz9fXGDKCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"985f8bc5ff9cedaabebbdeaee0e578cb0f1c10ed3f6c3d15a8a303e042409f4e","last_reissued_at":"2026-07-05T09:06:20.186301Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T09:06:20.186301Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2409.08097","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-05T09:06:20Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"LWmPe8I99MkfLRIZOrDvBzHmU2xcKQ/lkPNsBRigX3IXhnz36LexnTO+89owcFp6JD6HbbPwjmsKdSk7ZzklDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-11T18:10:13.903021Z"},"content_sha256":"01e9c0abde56261cfe6667c2b3607cc352680502c6f3d12df187dfcd64947e31","schema_version":"1.0","event_id":"sha256:01e9c0abde56261cfe6667c2b3607cc352680502c6f3d12df187dfcd64947e31"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:TBPYXRP7TTW2VPV332XOBZLYZM","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Optimizing Falsification for Learning-Based Control Systems: A Multi-Fidelity Bayesian Approach","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LG","cs.SY"],"primary_cat":"eess.SY","authors_text":"Ali Baheri, Mykel J. Kochenderfer, Zahra Shahrooei","submitted_at":"2024-09-12T14:51:03Z","abstract_excerpt":"Testing controllers in safety-critical systems is vital for ensuring their safety and preventing failures. In this paper, we address the falsification problem within learning-based closed-loop control systems through simulation. This problem involves the identification of counterexamples that violate system safety requirements and can be formulated as an optimization task based on these requirements. Using full-fidelity simulator data in this optimization problem can be computationally expensive. To improve efficiency, we propose a multi-fidelity Bayesian optimization falsification framework t"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2409.08097","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/2409.08097/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-05T09:06:20Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"P8c3vbrO5ZTV3suQ2cpYZZye9bW1phLjhYwDlT8XLwN54FPFiQkf/BBlKzRY5FRSJWu1LaQTpHRmeW+kzpIiBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-11T18:10:13.903793Z"},"content_sha256":"51a62a4539bd34e2ea6c7578a2132f5eb72c5cdbd69ca567f0f047aef8ec8570","schema_version":"1.0","event_id":"sha256:51a62a4539bd34e2ea6c7578a2132f5eb72c5cdbd69ca567f0f047aef8ec8570"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/TBPYXRP7TTW2VPV332XOBZLYZM/bundle.json","state_url":"https://pith.science/pith/TBPYXRP7TTW2VPV332XOBZLYZM/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/TBPYXRP7TTW2VPV332XOBZLYZM/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-11T18:10:13Z","links":{"resolver":"https://pith.science/pith/TBPYXRP7TTW2VPV332XOBZLYZM","bundle":"https://pith.science/pith/TBPYXRP7TTW2VPV332XOBZLYZM/bundle.json","state":"https://pith.science/pith/TBPYXRP7TTW2VPV332XOBZLYZM/state.json","well_known_bundle":"https://pith.science/.well-known/pith/TBPYXRP7TTW2VPV332XOBZLYZM/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:TBPYXRP7TTW2VPV332XOBZLYZM","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":"3742123a9e398997836815ee16e031c1a607132dcea6cf86b9fb0601ae206f21","cross_cats_sorted":["cs.LG","cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2024-09-12T14:51:03Z","title_canon_sha256":"14aafb5bd74838f879bc32ebc0dd3db3f78cc98e20b7272bdf38a2ea2984eeae"},"schema_version":"1.0","source":{"id":"2409.08097","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2409.08097","created_at":"2026-07-05T09:06:20Z"},{"alias_kind":"arxiv_version","alias_value":"2409.08097v1","created_at":"2026-07-05T09:06:20Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2409.08097","created_at":"2026-07-05T09:06:20Z"},{"alias_kind":"pith_short_12","alias_value":"TBPYXRP7TTW2","created_at":"2026-07-05T09:06:20Z"},{"alias_kind":"pith_short_16","alias_value":"TBPYXRP7TTW2VPV3","created_at":"2026-07-05T09:06:20Z"},{"alias_kind":"pith_short_8","alias_value":"TBPYXRP7","created_at":"2026-07-05T09:06:20Z"}],"graph_snapshots":[{"event_id":"sha256:51a62a4539bd34e2ea6c7578a2132f5eb72c5cdbd69ca567f0f047aef8ec8570","target":"graph","created_at":"2026-07-05T09:06:20Z","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/2409.08097/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Testing controllers in safety-critical systems is vital for ensuring their safety and preventing failures. In this paper, we address the falsification problem within learning-based closed-loop control systems through simulation. This problem involves the identification of counterexamples that violate system safety requirements and can be formulated as an optimization task based on these requirements. Using full-fidelity simulator data in this optimization problem can be computationally expensive. To improve efficiency, we propose a multi-fidelity Bayesian optimization falsification framework t","authors_text":"Ali Baheri, Mykel J. Kochenderfer, Zahra Shahrooei","cross_cats":["cs.LG","cs.SY"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2024-09-12T14:51:03Z","title":"Optimizing Falsification for Learning-Based Control Systems: A Multi-Fidelity Bayesian Approach"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2409.08097","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:01e9c0abde56261cfe6667c2b3607cc352680502c6f3d12df187dfcd64947e31","target":"record","created_at":"2026-07-05T09:06:20Z","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":"3742123a9e398997836815ee16e031c1a607132dcea6cf86b9fb0601ae206f21","cross_cats_sorted":["cs.LG","cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2024-09-12T14:51:03Z","title_canon_sha256":"14aafb5bd74838f879bc32ebc0dd3db3f78cc98e20b7272bdf38a2ea2984eeae"},"schema_version":"1.0","source":{"id":"2409.08097","kind":"arxiv","version":1}},"canonical_sha256":"985f8bc5ff9cedaabebbdeaee0e578cb0f1c10ed3f6c3d15a8a303e042409f4e","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"985f8bc5ff9cedaabebbdeaee0e578cb0f1c10ed3f6c3d15a8a303e042409f4e","first_computed_at":"2026-07-05T09:06:20.186301Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T09:06:20.186301Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"OCSVrj7nqznTUgg06QUWYL0QsE90djgBHb7T689Z903CdnSbgy+sC9moViEDance9MQzsAIBMKFAXz9fXGDKCw==","signature_status":"signed_v1","signed_at":"2026-07-05T09:06:20.186705Z","signed_message":"canonical_sha256_bytes"},"source_id":"2409.08097","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:01e9c0abde56261cfe6667c2b3607cc352680502c6f3d12df187dfcd64947e31","sha256:51a62a4539bd34e2ea6c7578a2132f5eb72c5cdbd69ca567f0f047aef8ec8570"],"state_sha256":"dd1d8a0bb204e501c2f9220a286ebaa352efb1b73973da0e88e6b7d39def7340"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"akB8MByNLVD4YW7lnjcRZw90ZPOc816GOlLn+/xtDTORCK9SNVy5i40e4hpIe+JANQnvI2D+QzGZR8sfn0maAg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-11T18:10:13.914179Z","bundle_sha256":"a30debbbbeb6a57c96e5a3ffc0f019cd902a783a825de5c09b5a771c1e391a06"}}