{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2021:ARPV2VEYNB2KYENERE63RYK64W","short_pith_number":"pith:ARPV2VEY","canonical_record":{"source":{"id":"2101.05916","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.RO","submitted_at":"2021-01-15T00:13:01Z","cross_cats_sorted":["cs.LG","cs.SY","eess.SY"],"title_canon_sha256":"17bbbcde54fe9bc7c608331701c76bb722c35d7d18421d83eb1e08fcc15bcebf","abstract_canon_sha256":"b77568358bbf47bdece4bdcb5bace2054f63a9f251811f499ea2864aa2c59894"},"schema_version":"1.0"},"canonical_sha256":"045f5d54986874ac11a4893db8e15ee5b3c3b75f43b3b1b371a54a37bda26fc7","source":{"kind":"arxiv","id":"2101.05916","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2101.05916","created_at":"2026-07-05T02:28:55Z"},{"alias_kind":"arxiv_version","alias_value":"2101.05916v2","created_at":"2026-07-05T02:28:55Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2101.05916","created_at":"2026-07-05T02:28:55Z"},{"alias_kind":"pith_short_12","alias_value":"ARPV2VEYNB2K","created_at":"2026-07-05T02:28:55Z"},{"alias_kind":"pith_short_16","alias_value":"ARPV2VEYNB2KYENE","created_at":"2026-07-05T02:28:55Z"},{"alias_kind":"pith_short_8","alias_value":"ARPV2VEY","created_at":"2026-07-05T02:28:55Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2021:ARPV2VEYNB2KYENERE63RYK64W","target":"record","payload":{"canonical_record":{"source":{"id":"2101.05916","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.RO","submitted_at":"2021-01-15T00:13:01Z","cross_cats_sorted":["cs.LG","cs.SY","eess.SY"],"title_canon_sha256":"17bbbcde54fe9bc7c608331701c76bb722c35d7d18421d83eb1e08fcc15bcebf","abstract_canon_sha256":"b77568358bbf47bdece4bdcb5bace2054f63a9f251811f499ea2864aa2c59894"},"schema_version":"1.0"},"canonical_sha256":"045f5d54986874ac11a4893db8e15ee5b3c3b75f43b3b1b371a54a37bda26fc7","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T02:28:55.153096Z","signature_b64":"rCxOPqs62TfUtk7jk0dvLmxDvgIXmQYz7Fd7FdlBS2etFIKOyGuMGbynhugMdLDo6zICfxQsWwzi+/pqpL1aBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"045f5d54986874ac11a4893db8e15ee5b3c3b75f43b3b1b371a54a37bda26fc7","last_reissued_at":"2026-07-05T02:28:55.152656Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T02:28:55.152656Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2101.05916","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-07-05T02:28:55Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"i7BkOxjP/TgExNTPpxanF6Es6v2br+nkVSpeTjxQnCrEhMA7VXFULHuarv114OV7rYLwBJA1ay6Lm8DLda2kBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-12T08:32:13.259217Z"},"content_sha256":"65f02b81af786cc259cd957594eab7b0f3366dbbc3485ad8915affb5dfbef5e3","schema_version":"1.0","event_id":"sha256:65f02b81af786cc259cd957594eab7b0f3366dbbc3485ad8915affb5dfbef5e3"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2021:ARPV2VEYNB2KYENERE63RYK64W","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Scalable Learning of Safety Guarantees for Autonomous Systems using Hamilton-Jacobi Reachability","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.LG","cs.SY","eess.SY"],"primary_cat":"cs.RO","authors_text":"Claire J. Tomlin, Jason J. Choi, Koushil Sreenath, Marsalis Gibson, Suvansh Sanjeev, Sylvia Herbert","submitted_at":"2021-01-15T00:13:01Z","abstract_excerpt":"Autonomous systems like aircraft and assistive robots often operate in scenarios where guaranteeing safety is critical. Methods like Hamilton-Jacobi reachability can provide guaranteed safe sets and controllers for such systems. However, often these same scenarios have unknown or uncertain environments, system dynamics, or predictions of other agents. As the system is operating, it may learn new knowledge about these uncertainties and should therefore update its safety analysis accordingly. However, work to learn and update safety analysis is limited to small systems of about two dimensions du"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2101.05916","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2101.05916/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-05T02:28:55Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"gvCKjORl6audKHr3RBqVWsSe7BQHn1yQ4mUJa5iX3U54KBUumrtxvEq02WNy95bC1lveSSbyptvKj1mfCxiyDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-12T08:32:13.259737Z"},"content_sha256":"df687efda84fe49b44f54b1b61877ca0795206cac1ad4ca057fdf9c97aa14ee1","schema_version":"1.0","event_id":"sha256:df687efda84fe49b44f54b1b61877ca0795206cac1ad4ca057fdf9c97aa14ee1"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/ARPV2VEYNB2KYENERE63RYK64W/bundle.json","state_url":"https://pith.science/pith/ARPV2VEYNB2KYENERE63RYK64W/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/ARPV2VEYNB2KYENERE63RYK64W/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-12T08:32:13Z","links":{"resolver":"https://pith.science/pith/ARPV2VEYNB2KYENERE63RYK64W","bundle":"https://pith.science/pith/ARPV2VEYNB2KYENERE63RYK64W/bundle.json","state":"https://pith.science/pith/ARPV2VEYNB2KYENERE63RYK64W/state.json","well_known_bundle":"https://pith.science/.well-known/pith/ARPV2VEYNB2KYENERE63RYK64W/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2021:ARPV2VEYNB2KYENERE63RYK64W","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":"b77568358bbf47bdece4bdcb5bace2054f63a9f251811f499ea2864aa2c59894","cross_cats_sorted":["cs.LG","cs.SY","eess.SY"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.RO","submitted_at":"2021-01-15T00:13:01Z","title_canon_sha256":"17bbbcde54fe9bc7c608331701c76bb722c35d7d18421d83eb1e08fcc15bcebf"},"schema_version":"1.0","source":{"id":"2101.05916","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2101.05916","created_at":"2026-07-05T02:28:55Z"},{"alias_kind":"arxiv_version","alias_value":"2101.05916v2","created_at":"2026-07-05T02:28:55Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2101.05916","created_at":"2026-07-05T02:28:55Z"},{"alias_kind":"pith_short_12","alias_value":"ARPV2VEYNB2K","created_at":"2026-07-05T02:28:55Z"},{"alias_kind":"pith_short_16","alias_value":"ARPV2VEYNB2KYENE","created_at":"2026-07-05T02:28:55Z"},{"alias_kind":"pith_short_8","alias_value":"ARPV2VEY","created_at":"2026-07-05T02:28:55Z"}],"graph_snapshots":[{"event_id":"sha256:df687efda84fe49b44f54b1b61877ca0795206cac1ad4ca057fdf9c97aa14ee1","target":"graph","created_at":"2026-07-05T02:28:55Z","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/2101.05916/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Autonomous systems like aircraft and assistive robots often operate in scenarios where guaranteeing safety is critical. Methods like Hamilton-Jacobi reachability can provide guaranteed safe sets and controllers for such systems. However, often these same scenarios have unknown or uncertain environments, system dynamics, or predictions of other agents. As the system is operating, it may learn new knowledge about these uncertainties and should therefore update its safety analysis accordingly. However, work to learn and update safety analysis is limited to small systems of about two dimensions du","authors_text":"Claire J. Tomlin, Jason J. Choi, Koushil Sreenath, Marsalis Gibson, Suvansh Sanjeev, Sylvia Herbert","cross_cats":["cs.LG","cs.SY","eess.SY"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.RO","submitted_at":"2021-01-15T00:13:01Z","title":"Scalable Learning of Safety Guarantees for Autonomous Systems using Hamilton-Jacobi Reachability"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2101.05916","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:65f02b81af786cc259cd957594eab7b0f3366dbbc3485ad8915affb5dfbef5e3","target":"record","created_at":"2026-07-05T02:28:55Z","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":"b77568358bbf47bdece4bdcb5bace2054f63a9f251811f499ea2864aa2c59894","cross_cats_sorted":["cs.LG","cs.SY","eess.SY"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.RO","submitted_at":"2021-01-15T00:13:01Z","title_canon_sha256":"17bbbcde54fe9bc7c608331701c76bb722c35d7d18421d83eb1e08fcc15bcebf"},"schema_version":"1.0","source":{"id":"2101.05916","kind":"arxiv","version":2}},"canonical_sha256":"045f5d54986874ac11a4893db8e15ee5b3c3b75f43b3b1b371a54a37bda26fc7","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"045f5d54986874ac11a4893db8e15ee5b3c3b75f43b3b1b371a54a37bda26fc7","first_computed_at":"2026-07-05T02:28:55.152656Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T02:28:55.152656Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"rCxOPqs62TfUtk7jk0dvLmxDvgIXmQYz7Fd7FdlBS2etFIKOyGuMGbynhugMdLDo6zICfxQsWwzi+/pqpL1aBQ==","signature_status":"signed_v1","signed_at":"2026-07-05T02:28:55.153096Z","signed_message":"canonical_sha256_bytes"},"source_id":"2101.05916","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:65f02b81af786cc259cd957594eab7b0f3366dbbc3485ad8915affb5dfbef5e3","sha256:df687efda84fe49b44f54b1b61877ca0795206cac1ad4ca057fdf9c97aa14ee1"],"state_sha256":"8c03a5d2dd798b8257c3e33df5ad57f97a4bca42988b34e6bf22bb575b9f9567"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"gJiaROcas6+u8LRzcifuF/0ylK7k7LALXQYVQI/iljCKWbQxzWTrkmY2p+DNF40/a1iyg8h3X6q2Qd6iQ5oNAg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-12T08:32:13.264338Z","bundle_sha256":"cc9009d96db2191b3919413ee70069b1382ca437cc73c1c84933576ae0d91db2"}}