{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2022:KFFOEATV5M7UJWYLWD6PRGV3NE","short_pith_number":"pith:KFFOEATV","schema_version":"1.0","canonical_sha256":"514ae20275eb3f44db0bb0fcf89abb69027ffa6dd217ec23424b7a651934f6ae","source":{"kind":"arxiv","id":"2206.00795","version":1},"attestation_state":"computed","paper":{"title":"Adaptive Sampling-based Motion Planning with Control Barrier Functions","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SY","eess.SY"],"primary_cat":"cs.RO","authors_text":"Ahmad Ahmad, Calin Belta, Roberto Tron","submitted_at":"2022-06-01T23:01:17Z","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$^\\"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"2206.00795","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2022-06-01T23:01:17Z","cross_cats_sorted":["cs.SY","eess.SY"],"title_canon_sha256":"07d7ebc8183486b726f55f84b252f9467248d73315de8a73f7aaac1ce215de0c","abstract_canon_sha256":"adbc9a046a82c78e846b91c058b63ea101d7ebf761322103abca06ebab2a6db5"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T04:28:33.821693Z","signature_b64":"OCtxiMov+H5qRfMM/jLNlRL0kAc2kfQ/1i4Xde0FkjVXQLvzAzCKCFEysIOxNqpfr5H2eldH0etsbZVn+wjpDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"514ae20275eb3f44db0bb0fcf89abb69027ffa6dd217ec23424b7a651934f6ae","last_reissued_at":"2026-07-05T04:28:33.821246Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T04:28:33.821246Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Adaptive Sampling-based Motion Planning with Control Barrier Functions","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SY","eess.SY"],"primary_cat":"cs.RO","authors_text":"Ahmad Ahmad, Calin Belta, Roberto Tron","submitted_at":"2022-06-01T23:01:17Z","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$^\\"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2206.00795","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/2206.00795/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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2206.00795","created_at":"2026-07-05T04:28:33.821304+00:00"},{"alias_kind":"arxiv_version","alias_value":"2206.00795v1","created_at":"2026-07-05T04:28:33.821304+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2206.00795","created_at":"2026-07-05T04:28:33.821304+00:00"},{"alias_kind":"pith_short_12","alias_value":"KFFOEATV5M7U","created_at":"2026-07-05T04:28:33.821304+00:00"},{"alias_kind":"pith_short_16","alias_value":"KFFOEATV5M7UJWYL","created_at":"2026-07-05T04:28:33.821304+00:00"},{"alias_kind":"pith_short_8","alias_value":"KFFOEATV","created_at":"2026-07-05T04:28:33.821304+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/KFFOEATV5M7UJWYLWD6PRGV3NE","json":"https://pith.science/pith/KFFOEATV5M7UJWYLWD6PRGV3NE.json","graph_json":"https://pith.science/api/pith-number/KFFOEATV5M7UJWYLWD6PRGV3NE/graph.json","events_json":"https://pith.science/api/pith-number/KFFOEATV5M7UJWYLWD6PRGV3NE/events.json","paper":"https://pith.science/paper/KFFOEATV"},"agent_actions":{"view_html":"https://pith.science/pith/KFFOEATV5M7UJWYLWD6PRGV3NE","download_json":"https://pith.science/pith/KFFOEATV5M7UJWYLWD6PRGV3NE.json","view_paper":"https://pith.science/paper/KFFOEATV","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2206.00795&json=true","fetch_graph":"https://pith.science/api/pith-number/KFFOEATV5M7UJWYLWD6PRGV3NE/graph.json","fetch_events":"https://pith.science/api/pith-number/KFFOEATV5M7UJWYLWD6PRGV3NE/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/KFFOEATV5M7UJWYLWD6PRGV3NE/action/timestamp_anchor","attest_storage":"https://pith.science/pith/KFFOEATV5M7UJWYLWD6PRGV3NE/action/storage_attestation","attest_author":"https://pith.science/pith/KFFOEATV5M7UJWYLWD6PRGV3NE/action/author_attestation","sign_citation":"https://pith.science/pith/KFFOEATV5M7UJWYLWD6PRGV3NE/action/citation_signature","submit_replication":"https://pith.science/pith/KFFOEATV5M7UJWYLWD6PRGV3NE/action/replication_record"}},"created_at":"2026-07-05T04:28:33.821304+00:00","updated_at":"2026-07-05T04:28:33.821304+00:00"}