{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2021:75BCETF6DA4PJKFJLSJEP2UX5P","short_pith_number":"pith:75BCETF6","canonical_record":{"source":{"id":"2111.01312","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2021-11-02T00:48:19Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"c5ba9d833438c88fd6f0b511743e8ee92283ca39dddef418aaf17f6fa1d1695f","abstract_canon_sha256":"90d4395397deb257f202f65984f8e21e7a395a196cccfeb421713a5e5cb89fb5"},"schema_version":"1.0"},"canonical_sha256":"ff42224cbe1838f4a8a95c9247ea97ebc42f681cfabe4e8b052934e78df90658","source":{"kind":"arxiv","id":"2111.01312","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2111.01312","created_at":"2026-07-05T03:28:01Z"},{"alias_kind":"arxiv_version","alias_value":"2111.01312v1","created_at":"2026-07-05T03:28:01Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2111.01312","created_at":"2026-07-05T03:28:01Z"},{"alias_kind":"pith_short_12","alias_value":"75BCETF6DA4P","created_at":"2026-07-05T03:28:01Z"},{"alias_kind":"pith_short_16","alias_value":"75BCETF6DA4PJKFJ","created_at":"2026-07-05T03:28:01Z"},{"alias_kind":"pith_short_8","alias_value":"75BCETF6","created_at":"2026-07-05T03:28:01Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2021:75BCETF6DA4PJKFJLSJEP2UX5P","target":"record","payload":{"canonical_record":{"source":{"id":"2111.01312","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2021-11-02T00:48:19Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"c5ba9d833438c88fd6f0b511743e8ee92283ca39dddef418aaf17f6fa1d1695f","abstract_canon_sha256":"90d4395397deb257f202f65984f8e21e7a395a196cccfeb421713a5e5cb89fb5"},"schema_version":"1.0"},"canonical_sha256":"ff42224cbe1838f4a8a95c9247ea97ebc42f681cfabe4e8b052934e78df90658","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T03:28:01.430494Z","signature_b64":"4LHYYqnsCSuJQj9yelxhEotvHrq+rmnOhZVyDHKYWXmzh265gIvpLSM6AGGv8PS4A2mttq3WBS4rl/P6GB2dCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ff42224cbe1838f4a8a95c9247ea97ebc42f681cfabe4e8b052934e78df90658","last_reissued_at":"2026-07-05T03:28:01.430061Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T03:28:01.430061Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2111.01312","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-05T03:28:01Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"RpB4/xL6pcjlZ6YCAqCrLioYR4EPVPteZptiKONKLOH/Y1qrkwZ5p8qMamAGIBgycSqeFp69DtQJF5F0s55nAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-09T03:30:20.809571Z"},"content_sha256":"25998ccb1197bbda58c624d0fa58a26367f9f35d64fac4756e82d30e0b93f0b0","schema_version":"1.0","event_id":"sha256:25998ccb1197bbda58c624d0fa58a26367f9f35d64fac4756e82d30e0b93f0b0"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2021:75BCETF6DA4PJKFJLSJEP2UX5P","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"DaDRA: A Python Library for Data-Driven Reachability Analysis","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SY"],"primary_cat":"eess.SY","authors_text":"Alex Devonport, Jared Mejia, Murat Arcak","submitted_at":"2021-11-02T00:48:19Z","abstract_excerpt":"Reachability analysis is used to determine all possible states that a system acting under uncertainty may reach. It is a critical component to obtain guarantees of various safety-critical systems both for safety verification and controller synthesis. Though traditional approaches to reachability analysis provide formal guarantees of the reachable set, they involve complex algorithms that require full system information, which is impractical for use in real world settings. We present DaDRA, a Python library that allows for data-driven reachability analysis with arbitrarily robust probabilistic "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2111.01312","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/2111.01312/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-05T03:28:01Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"oyimVBLUeAD2kFTrfiFXgMtq/mt9OsHou/bM4shpyljoiqIwXVfZwZyMvuIP81ALQmdr7XsUdnEZupUMgtjRCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-09T03:30:20.809945Z"},"content_sha256":"66effda3de15899817a5cfe09150ad231f97c372934fc09fab894ecafbe9b9f8","schema_version":"1.0","event_id":"sha256:66effda3de15899817a5cfe09150ad231f97c372934fc09fab894ecafbe9b9f8"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/75BCETF6DA4PJKFJLSJEP2UX5P/bundle.json","state_url":"https://pith.science/pith/75BCETF6DA4PJKFJLSJEP2UX5P/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/75BCETF6DA4PJKFJLSJEP2UX5P/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-07-09T03:30:20Z","links":{"resolver":"https://pith.science/pith/75BCETF6DA4PJKFJLSJEP2UX5P","bundle":"https://pith.science/pith/75BCETF6DA4PJKFJLSJEP2UX5P/bundle.json","state":"https://pith.science/pith/75BCETF6DA4PJKFJLSJEP2UX5P/state.json","well_known_bundle":"https://pith.science/.well-known/pith/75BCETF6DA4PJKFJLSJEP2UX5P/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2021:75BCETF6DA4PJKFJLSJEP2UX5P","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":"90d4395397deb257f202f65984f8e21e7a395a196cccfeb421713a5e5cb89fb5","cross_cats_sorted":["cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2021-11-02T00:48:19Z","title_canon_sha256":"c5ba9d833438c88fd6f0b511743e8ee92283ca39dddef418aaf17f6fa1d1695f"},"schema_version":"1.0","source":{"id":"2111.01312","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2111.01312","created_at":"2026-07-05T03:28:01Z"},{"alias_kind":"arxiv_version","alias_value":"2111.01312v1","created_at":"2026-07-05T03:28:01Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2111.01312","created_at":"2026-07-05T03:28:01Z"},{"alias_kind":"pith_short_12","alias_value":"75BCETF6DA4P","created_at":"2026-07-05T03:28:01Z"},{"alias_kind":"pith_short_16","alias_value":"75BCETF6DA4PJKFJ","created_at":"2026-07-05T03:28:01Z"},{"alias_kind":"pith_short_8","alias_value":"75BCETF6","created_at":"2026-07-05T03:28:01Z"}],"graph_snapshots":[{"event_id":"sha256:66effda3de15899817a5cfe09150ad231f97c372934fc09fab894ecafbe9b9f8","target":"graph","created_at":"2026-07-05T03:28:01Z","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/2111.01312/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Reachability analysis is used to determine all possible states that a system acting under uncertainty may reach. It is a critical component to obtain guarantees of various safety-critical systems both for safety verification and controller synthesis. Though traditional approaches to reachability analysis provide formal guarantees of the reachable set, they involve complex algorithms that require full system information, which is impractical for use in real world settings. We present DaDRA, a Python library that allows for data-driven reachability analysis with arbitrarily robust probabilistic ","authors_text":"Alex Devonport, Jared Mejia, Murat Arcak","cross_cats":["cs.SY"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2021-11-02T00:48:19Z","title":"DaDRA: A Python Library for Data-Driven Reachability Analysis"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2111.01312","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:25998ccb1197bbda58c624d0fa58a26367f9f35d64fac4756e82d30e0b93f0b0","target":"record","created_at":"2026-07-05T03:28:01Z","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":"90d4395397deb257f202f65984f8e21e7a395a196cccfeb421713a5e5cb89fb5","cross_cats_sorted":["cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2021-11-02T00:48:19Z","title_canon_sha256":"c5ba9d833438c88fd6f0b511743e8ee92283ca39dddef418aaf17f6fa1d1695f"},"schema_version":"1.0","source":{"id":"2111.01312","kind":"arxiv","version":1}},"canonical_sha256":"ff42224cbe1838f4a8a95c9247ea97ebc42f681cfabe4e8b052934e78df90658","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ff42224cbe1838f4a8a95c9247ea97ebc42f681cfabe4e8b052934e78df90658","first_computed_at":"2026-07-05T03:28:01.430061Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T03:28:01.430061Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"4LHYYqnsCSuJQj9yelxhEotvHrq+rmnOhZVyDHKYWXmzh265gIvpLSM6AGGv8PS4A2mttq3WBS4rl/P6GB2dCA==","signature_status":"signed_v1","signed_at":"2026-07-05T03:28:01.430494Z","signed_message":"canonical_sha256_bytes"},"source_id":"2111.01312","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:25998ccb1197bbda58c624d0fa58a26367f9f35d64fac4756e82d30e0b93f0b0","sha256:66effda3de15899817a5cfe09150ad231f97c372934fc09fab894ecafbe9b9f8"],"state_sha256":"643991f2a8dbcc3d4d8ce89309e6e83458148d5d9e14695e318cb9e1c3cc5993"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"JDC9eTi+j0AEkLb8IFFMYrc3X4kVstDBQEq42G/Fz9s22W2/bsSdQnQHsOm402GWTHFx3Q6WCoorDDuvRzvWAA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-09T03:30:20.812002Z","bundle_sha256":"501d2b424e6a66ca631170714449e99e78a9f4b2ff033e38961e30a2d40ce761"}}