{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:QGLGBNZDUHK6LN63ENXTUBJBY6","short_pith_number":"pith:QGLGBNZD","canonical_record":{"source":{"id":"1811.07834","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2018-11-19T17:47:01Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"de37b5bb574862c3de1296d6ad38a5b0a7e0af5f1d9c244d92cdcb11e7613f3b","abstract_canon_sha256":"aa0a898d6197030588a711818948ae1153388d81737dfdc77401b9893078a0f2"},"schema_version":"1.0"},"canonical_sha256":"819660b723a1d5e5b7db236f3a0521c790324c5b975beb4c67abff0ac418993f","source":{"kind":"arxiv","id":"1811.07834","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1811.07834","created_at":"2026-05-17T23:51:52Z"},{"alias_kind":"arxiv_version","alias_value":"1811.07834v3","created_at":"2026-05-17T23:51:52Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1811.07834","created_at":"2026-05-17T23:51:52Z"},{"alias_kind":"pith_short_12","alias_value":"QGLGBNZDUHK6","created_at":"2026-05-18T12:32:46Z"},{"alias_kind":"pith_short_16","alias_value":"QGLGBNZDUHK6LN63","created_at":"2026-05-18T12:32:46Z"},{"alias_kind":"pith_short_8","alias_value":"QGLGBNZD","created_at":"2026-05-18T12:32:46Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:QGLGBNZDUHK6LN63ENXTUBJBY6","target":"record","payload":{"canonical_record":{"source":{"id":"1811.07834","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2018-11-19T17:47:01Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"de37b5bb574862c3de1296d6ad38a5b0a7e0af5f1d9c244d92cdcb11e7613f3b","abstract_canon_sha256":"aa0a898d6197030588a711818948ae1153388d81737dfdc77401b9893078a0f2"},"schema_version":"1.0"},"canonical_sha256":"819660b723a1d5e5b7db236f3a0521c790324c5b975beb4c67abff0ac418993f","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:51:52.304192Z","signature_b64":"wcIwJjwWRU7oAFFR8mM2CjvRf8Ip1VWQGqGq+nZCzKJKbh5nEYTja8Rtup35itlG4+0fc8fKJv+KQUtitg1HAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"819660b723a1d5e5b7db236f3a0521c790324c5b975beb4c67abff0ac418993f","last_reissued_at":"2026-05-17T23:51:52.303608Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:51:52.303608Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1811.07834","source_version":3,"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-17T23:51:52Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"4NhUW5JPruDujveLAQRmrIFFNOoICIcS7hwRHddQ09Oo8aktES9e3PmR6QqybuQROFrdc172R1mHWgxJhB8QCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-10T11:50:18.962662Z"},"content_sha256":"0c4929e154d0b5f501470990b137fddb63c1acf3e5b0c077348c6367f8b506e7","schema_version":"1.0","event_id":"sha256:0c4929e154d0b5f501470990b137fddb63c1acf3e5b0c077348c6367f8b506e7"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:QGLGBNZDUHK6LN63ENXTUBJBY6","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Safely Probabilistically Complete Real-Time Planning and Exploration in Unknown Environments","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SY"],"primary_cat":"cs.RO","authors_text":"Claire J. Tomlin, David Fridovich-Keil, Jaime F. Fisac","submitted_at":"2018-11-19T17:47:01Z","abstract_excerpt":"We present a new framework for motion planning that wraps around existing kinodynamic planners and guarantees recursive feasibility when operating in a priori unknown, static environments. Our approach makes strong guarantees about overall safety and collision avoidance by utilizing a robust controller derived from reachability analysis. We ensure that motion plans never exit the safe backward reachable set of the initial state, while safely exploring the space. This preserves the safety of the initial state, and guarantees that that we will eventually find the goal if it is possible to do so "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1811.07834","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"},"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-17T23:51:52Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"EeXRZeGCQvYkkrs9yrj1rKe4gkKtrl9p36WFvnjCCoFDVIcdgPr4+6a6Ep/m1hzOP6dnIODbIE651FQUbeQgBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-10T11:50:18.963046Z"},"content_sha256":"571e1ac79d719d9889d1d61785499256b5ef38765bc92d63d11b0b24390163bf","schema_version":"1.0","event_id":"sha256:571e1ac79d719d9889d1d61785499256b5ef38765bc92d63d11b0b24390163bf"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/QGLGBNZDUHK6LN63ENXTUBJBY6/bundle.json","state_url":"https://pith.science/pith/QGLGBNZDUHK6LN63ENXTUBJBY6/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/QGLGBNZDUHK6LN63ENXTUBJBY6/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-10T11:50:18Z","links":{"resolver":"https://pith.science/pith/QGLGBNZDUHK6LN63ENXTUBJBY6","bundle":"https://pith.science/pith/QGLGBNZDUHK6LN63ENXTUBJBY6/bundle.json","state":"https://pith.science/pith/QGLGBNZDUHK6LN63ENXTUBJBY6/state.json","well_known_bundle":"https://pith.science/.well-known/pith/QGLGBNZDUHK6LN63ENXTUBJBY6/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:QGLGBNZDUHK6LN63ENXTUBJBY6","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":"aa0a898d6197030588a711818948ae1153388d81737dfdc77401b9893078a0f2","cross_cats_sorted":["cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2018-11-19T17:47:01Z","title_canon_sha256":"de37b5bb574862c3de1296d6ad38a5b0a7e0af5f1d9c244d92cdcb11e7613f3b"},"schema_version":"1.0","source":{"id":"1811.07834","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1811.07834","created_at":"2026-05-17T23:51:52Z"},{"alias_kind":"arxiv_version","alias_value":"1811.07834v3","created_at":"2026-05-17T23:51:52Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1811.07834","created_at":"2026-05-17T23:51:52Z"},{"alias_kind":"pith_short_12","alias_value":"QGLGBNZDUHK6","created_at":"2026-05-18T12:32:46Z"},{"alias_kind":"pith_short_16","alias_value":"QGLGBNZDUHK6LN63","created_at":"2026-05-18T12:32:46Z"},{"alias_kind":"pith_short_8","alias_value":"QGLGBNZD","created_at":"2026-05-18T12:32:46Z"}],"graph_snapshots":[{"event_id":"sha256:571e1ac79d719d9889d1d61785499256b5ef38765bc92d63d11b0b24390163bf","target":"graph","created_at":"2026-05-17T23:51:52Z","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":"We present a new framework for motion planning that wraps around existing kinodynamic planners and guarantees recursive feasibility when operating in a priori unknown, static environments. Our approach makes strong guarantees about overall safety and collision avoidance by utilizing a robust controller derived from reachability analysis. We ensure that motion plans never exit the safe backward reachable set of the initial state, while safely exploring the space. This preserves the safety of the initial state, and guarantees that that we will eventually find the goal if it is possible to do so ","authors_text":"Claire J. Tomlin, David Fridovich-Keil, Jaime F. Fisac","cross_cats":["cs.SY"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2018-11-19T17:47:01Z","title":"Safely Probabilistically Complete Real-Time Planning and Exploration in Unknown Environments"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1811.07834","kind":"arxiv","version":3},"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:0c4929e154d0b5f501470990b137fddb63c1acf3e5b0c077348c6367f8b506e7","target":"record","created_at":"2026-05-17T23:51:52Z","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":"aa0a898d6197030588a711818948ae1153388d81737dfdc77401b9893078a0f2","cross_cats_sorted":["cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2018-11-19T17:47:01Z","title_canon_sha256":"de37b5bb574862c3de1296d6ad38a5b0a7e0af5f1d9c244d92cdcb11e7613f3b"},"schema_version":"1.0","source":{"id":"1811.07834","kind":"arxiv","version":3}},"canonical_sha256":"819660b723a1d5e5b7db236f3a0521c790324c5b975beb4c67abff0ac418993f","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"819660b723a1d5e5b7db236f3a0521c790324c5b975beb4c67abff0ac418993f","first_computed_at":"2026-05-17T23:51:52.303608Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:51:52.303608Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"wcIwJjwWRU7oAFFR8mM2CjvRf8Ip1VWQGqGq+nZCzKJKbh5nEYTja8Rtup35itlG4+0fc8fKJv+KQUtitg1HAg==","signature_status":"signed_v1","signed_at":"2026-05-17T23:51:52.304192Z","signed_message":"canonical_sha256_bytes"},"source_id":"1811.07834","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:0c4929e154d0b5f501470990b137fddb63c1acf3e5b0c077348c6367f8b506e7","sha256:571e1ac79d719d9889d1d61785499256b5ef38765bc92d63d11b0b24390163bf"],"state_sha256":"87df0fe8b5a665dbef383e3f184c7b7c05f1e7f9d5c520e0ba8a2a2b14795b09"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"7hM00KVp6KYN+7pFshmypvxDMIywX+giZPwIoedzdNN9/wuk28y3GoOv2MFvHUjITsF3w2B0z9R2xwQYo/fHCQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-10T11:50:18.966287Z","bundle_sha256":"ae11506ee3fd367ef7a47f1e49fdbb16c9b3a6dce26f2efb8632aa8ae83b4d1a"}}