{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2022:KFFOEATV5M7UJWYLWD6PRGV3NE","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":"adbc9a046a82c78e846b91c058b63ea101d7ebf761322103abca06ebab2a6db5","cross_cats_sorted":["cs.SY","eess.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2022-06-01T23:01:17Z","title_canon_sha256":"07d7ebc8183486b726f55f84b252f9467248d73315de8a73f7aaac1ce215de0c"},"schema_version":"1.0","source":{"id":"2206.00795","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2206.00795","created_at":"2026-07-05T04:28:33Z"},{"alias_kind":"arxiv_version","alias_value":"2206.00795v1","created_at":"2026-07-05T04:28:33Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2206.00795","created_at":"2026-07-05T04:28:33Z"},{"alias_kind":"pith_short_12","alias_value":"KFFOEATV5M7U","created_at":"2026-07-05T04:28:33Z"},{"alias_kind":"pith_short_16","alias_value":"KFFOEATV5M7UJWYL","created_at":"2026-07-05T04:28:33Z"},{"alias_kind":"pith_short_8","alias_value":"KFFOEATV","created_at":"2026-07-05T04:28:33Z"}],"graph_snapshots":[{"event_id":"sha256:ba583a956f31b669bebdf0df382c7c97dc6ef244493f8ce20f5c9e66dab27cb6","target":"graph","created_at":"2026-07-05T04:28:33Z","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/2206.00795/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Sampling-based algorithms, such as Rapidly Exploring Random Trees (RRT) and its variants, have been used extensively for motion planning. Control barrier functions (CBFs) have been recently proposed to synthesize controllers for safety-critical systems. In this paper, we combine the effectiveness of RRT-based algorithms with the safety guarantees provided by CBFs in a method called CBF-RRT$^\\ast$. CBFs are used for local trajectory planning for RRT$^\\ast$, avoiding explicit collision checking of the extended paths. We prove that CBF-RRT$^\\ast$ preserves the probabilistic completeness of RRT$^\\","authors_text":"Ahmad Ahmad, Calin Belta, Roberto Tron","cross_cats":["cs.SY","eess.SY"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2022-06-01T23:01:17Z","title":"Adaptive Sampling-based Motion Planning with Control Barrier Functions"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2206.00795","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:0437e179a9ddc1bf7e603e90b334a11a4040bebd3546489959c7b8a64f51664a","target":"record","created_at":"2026-07-05T04:28:33Z","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":"adbc9a046a82c78e846b91c058b63ea101d7ebf761322103abca06ebab2a6db5","cross_cats_sorted":["cs.SY","eess.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2022-06-01T23:01:17Z","title_canon_sha256":"07d7ebc8183486b726f55f84b252f9467248d73315de8a73f7aaac1ce215de0c"},"schema_version":"1.0","source":{"id":"2206.00795","kind":"arxiv","version":1}},"canonical_sha256":"514ae20275eb3f44db0bb0fcf89abb69027ffa6dd217ec23424b7a651934f6ae","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"514ae20275eb3f44db0bb0fcf89abb69027ffa6dd217ec23424b7a651934f6ae","first_computed_at":"2026-07-05T04:28:33.821246Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T04:28:33.821246Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"OCtxiMov+H5qRfMM/jLNlRL0kAc2kfQ/1i4Xde0FkjVXQLvzAzCKCFEysIOxNqpfr5H2eldH0etsbZVn+wjpDw==","signature_status":"signed_v1","signed_at":"2026-07-05T04:28:33.821693Z","signed_message":"canonical_sha256_bytes"},"source_id":"2206.00795","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:0437e179a9ddc1bf7e603e90b334a11a4040bebd3546489959c7b8a64f51664a","sha256:ba583a956f31b669bebdf0df382c7c97dc6ef244493f8ce20f5c9e66dab27cb6"],"state_sha256":"0890e0e8284b95a616bb7c7240e036da358376f2746303b1b337112f31e234e1"}