{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:WMSBFT643XOEJ3GYH77NHZ37JN","short_pith_number":"pith:WMSBFT64","canonical_record":{"source":{"id":"1807.09537","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2018-07-25T11:39:43Z","cross_cats_sorted":["cs.SE"],"title_canon_sha256":"408e6454eaf334292c654daed66518c348ab71b903cd60fd8bc0cbf1e9ce23b9","abstract_canon_sha256":"4bad4668d31053313524ae1518b539ffff5727ae7b2cedc831d22c503face004"},"schema_version":"1.0"},"canonical_sha256":"b32412cfdcdddc44ecd83ffed3e77f4b77d3e3f48a252656022ea196bdd0325e","source":{"kind":"arxiv","id":"1807.09537","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1807.09537","created_at":"2026-05-18T00:01:53Z"},{"alias_kind":"arxiv_version","alias_value":"1807.09537v2","created_at":"2026-05-18T00:01:53Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1807.09537","created_at":"2026-05-18T00:01:53Z"},{"alias_kind":"pith_short_12","alias_value":"WMSBFT643XOE","created_at":"2026-05-18T12:33:01Z"},{"alias_kind":"pith_short_16","alias_value":"WMSBFT643XOEJ3GY","created_at":"2026-05-18T12:33:01Z"},{"alias_kind":"pith_short_8","alias_value":"WMSBFT64","created_at":"2026-05-18T12:33:01Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:WMSBFT643XOEJ3GYH77NHZ37JN","target":"record","payload":{"canonical_record":{"source":{"id":"1807.09537","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2018-07-25T11:39:43Z","cross_cats_sorted":["cs.SE"],"title_canon_sha256":"408e6454eaf334292c654daed66518c348ab71b903cd60fd8bc0cbf1e9ce23b9","abstract_canon_sha256":"4bad4668d31053313524ae1518b539ffff5727ae7b2cedc831d22c503face004"},"schema_version":"1.0"},"canonical_sha256":"b32412cfdcdddc44ecd83ffed3e77f4b77d3e3f48a252656022ea196bdd0325e","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:01:53.025281Z","signature_b64":"cRWFVat/A4/hOztDR/W4qWvbCd9A5GPBIIcSiSjkSi/JXt7109yXtqWbv2yP9AZPFsKmRGEjWP9rb2x3xk3nCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b32412cfdcdddc44ecd83ffed3e77f4b77d3e3f48a252656022ea196bdd0325e","last_reissued_at":"2026-05-18T00:01:53.024828Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:01:53.024828Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1807.09537","source_version":2,"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-18T00:01:53Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"jStRJoFUo65Ys8kHd5iZqLA/PEuC6TdACYRxk6Mu4FNQVBK4amX+7MZo9Fi0C+KdI3DszsNv0J6Qi8TkntVSCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-09T18:09:25.571290Z"},"content_sha256":"e3d3ac16abf59833d22bc763412c553a21a0a6cc42e0a22f636dc4894c351450","schema_version":"1.0","event_id":"sha256:e3d3ac16abf59833d22bc763412c553a21a0a6cc42e0a22f636dc4894c351450"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:WMSBFT643XOEJ3GYH77NHZ37JN","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Using control synthesis to generate corner cases: A case study on autonomous driving","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SE"],"primary_cat":"cs.SY","authors_text":"Glen Chou, Kwesi J. Rutledge, Liren Yang, Necmiye Ozay, Petter Nilsson, Yunus E. Sahin","submitted_at":"2018-07-25T11:39:43Z","abstract_excerpt":"This paper employs correct-by-construction control synthesis, in particular controlled invariant set computations, for falsification. Our hypothesis is that if it is possible to compute a \"large enough\" controlled invariant set either for the actual system model or some simplification of the system model, interesting corner cases for other control designs can be generated by sampling initial conditions from the boundary of this controlled invariant set. Moreover, if falsifying trajectories for a given control design can be found through such sampling, then the controlled invariant set can be u"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1807.09537","kind":"arxiv","version":2},"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-18T00:01:53Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"D8t3KS/YZhpEDXtXVlorekd603bZCMIQ95IJR2lNJkZQwTM+Z4qN/2LDQ4+qkaYAJZXWGz3Ept+hcbraJKCLCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-09T18:09:25.571917Z"},"content_sha256":"51c820f0dc862950e21bdffef673c44f366ab34bb5f4c1d9552713f5cae7c8af","schema_version":"1.0","event_id":"sha256:51c820f0dc862950e21bdffef673c44f366ab34bb5f4c1d9552713f5cae7c8af"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/WMSBFT643XOEJ3GYH77NHZ37JN/bundle.json","state_url":"https://pith.science/pith/WMSBFT643XOEJ3GYH77NHZ37JN/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/WMSBFT643XOEJ3GYH77NHZ37JN/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-06-09T18:09:25Z","links":{"resolver":"https://pith.science/pith/WMSBFT643XOEJ3GYH77NHZ37JN","bundle":"https://pith.science/pith/WMSBFT643XOEJ3GYH77NHZ37JN/bundle.json","state":"https://pith.science/pith/WMSBFT643XOEJ3GYH77NHZ37JN/state.json","well_known_bundle":"https://pith.science/.well-known/pith/WMSBFT643XOEJ3GYH77NHZ37JN/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:WMSBFT643XOEJ3GYH77NHZ37JN","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":"4bad4668d31053313524ae1518b539ffff5727ae7b2cedc831d22c503face004","cross_cats_sorted":["cs.SE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2018-07-25T11:39:43Z","title_canon_sha256":"408e6454eaf334292c654daed66518c348ab71b903cd60fd8bc0cbf1e9ce23b9"},"schema_version":"1.0","source":{"id":"1807.09537","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1807.09537","created_at":"2026-05-18T00:01:53Z"},{"alias_kind":"arxiv_version","alias_value":"1807.09537v2","created_at":"2026-05-18T00:01:53Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1807.09537","created_at":"2026-05-18T00:01:53Z"},{"alias_kind":"pith_short_12","alias_value":"WMSBFT643XOE","created_at":"2026-05-18T12:33:01Z"},{"alias_kind":"pith_short_16","alias_value":"WMSBFT643XOEJ3GY","created_at":"2026-05-18T12:33:01Z"},{"alias_kind":"pith_short_8","alias_value":"WMSBFT64","created_at":"2026-05-18T12:33:01Z"}],"graph_snapshots":[{"event_id":"sha256:51c820f0dc862950e21bdffef673c44f366ab34bb5f4c1d9552713f5cae7c8af","target":"graph","created_at":"2026-05-18T00:01:53Z","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":"This paper employs correct-by-construction control synthesis, in particular controlled invariant set computations, for falsification. Our hypothesis is that if it is possible to compute a \"large enough\" controlled invariant set either for the actual system model or some simplification of the system model, interesting corner cases for other control designs can be generated by sampling initial conditions from the boundary of this controlled invariant set. Moreover, if falsifying trajectories for a given control design can be found through such sampling, then the controlled invariant set can be u","authors_text":"Glen Chou, Kwesi J. Rutledge, Liren Yang, Necmiye Ozay, Petter Nilsson, Yunus E. Sahin","cross_cats":["cs.SE"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2018-07-25T11:39:43Z","title":"Using control synthesis to generate corner cases: A case study on autonomous driving"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1807.09537","kind":"arxiv","version":2},"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:e3d3ac16abf59833d22bc763412c553a21a0a6cc42e0a22f636dc4894c351450","target":"record","created_at":"2026-05-18T00:01:53Z","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":"4bad4668d31053313524ae1518b539ffff5727ae7b2cedc831d22c503face004","cross_cats_sorted":["cs.SE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2018-07-25T11:39:43Z","title_canon_sha256":"408e6454eaf334292c654daed66518c348ab71b903cd60fd8bc0cbf1e9ce23b9"},"schema_version":"1.0","source":{"id":"1807.09537","kind":"arxiv","version":2}},"canonical_sha256":"b32412cfdcdddc44ecd83ffed3e77f4b77d3e3f48a252656022ea196bdd0325e","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"b32412cfdcdddc44ecd83ffed3e77f4b77d3e3f48a252656022ea196bdd0325e","first_computed_at":"2026-05-18T00:01:53.024828Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:01:53.024828Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"cRWFVat/A4/hOztDR/W4qWvbCd9A5GPBIIcSiSjkSi/JXt7109yXtqWbv2yP9AZPFsKmRGEjWP9rb2x3xk3nCA==","signature_status":"signed_v1","signed_at":"2026-05-18T00:01:53.025281Z","signed_message":"canonical_sha256_bytes"},"source_id":"1807.09537","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:e3d3ac16abf59833d22bc763412c553a21a0a6cc42e0a22f636dc4894c351450","sha256:51c820f0dc862950e21bdffef673c44f366ab34bb5f4c1d9552713f5cae7c8af"],"state_sha256":"b4ccc1db1bbf58e8fdb4807530c1a2f8b92902cd1f00205bf5fad4cb35ee5754"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"zFnk2EbQ0Qqa5eIuKxjRJQ4wCgZkdif2Tw0goFe9z89MP1jaz2xEpS2GfVTE5554R0HPv+/sCnIA6COXHhoAAw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-09T18:09:25.575516Z","bundle_sha256":"d87943cf8224d47fc3cde7be13b1f4a64ecc0d95efabe01770cb2d27654f9884"}}