{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2023:LGIYFUJYA5WIMWKCSECHA4FRTY","short_pith_number":"pith:LGIYFUJY","schema_version":"1.0","canonical_sha256":"599182d138076c86594291047070b19e3b911e106ec4a9f0812b22dfed27c6ed","source":{"kind":"arxiv","id":"2312.02430","version":1},"attestation_state":"computed","paper":{"title":"Almost-Sure Safety Guarantees of Stochastic Zero-Control Barrier Functions Do Not Hold","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.RO"],"primary_cat":"math.OC","authors_text":"Andrew Clark, Chuchu Fan, Oswin So","submitted_at":"2023-12-05T02:14:51Z","abstract_excerpt":"The 2021 paper \"Control barrier functions for stochastic systems\" provides theorems that give almost sure safety guarantees given stochastic zero control barrier function (ZCBF). Unfortunately, both the theorem and its proof is invalid. In this letter, we illustrate on a toy example that the almost sure safety guarantees for stochastic ZCBF do not hold and explain why the proof is flawed. Although stochastic reciprocal barrier functions (RCBF) also uses the same proof technique, we provide a different proof technique that verifies that stochastic RCBFs are indeed safe with probability one. Usi"},"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":"2312.02430","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.OC","submitted_at":"2023-12-05T02:14:51Z","cross_cats_sorted":["cs.RO"],"title_canon_sha256":"95e784fbad8b6fb220b7f2ce23563667384ced91b5b035f1c9ac60ee194a8325","abstract_canon_sha256":"c476e4d0ad6d54ddea7266ac65b418e821bebef6dfcaa059d42ed4c6cff9ea34"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T07:20:17.914618Z","signature_b64":"ArsCrp9zYRputwL7lXwQBDjGQt1jMrA8ASIVUgqEOUdjrn2QuAAV0tg5ngIJHkjD0Xbgew6HeSnou6910owhBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"599182d138076c86594291047070b19e3b911e106ec4a9f0812b22dfed27c6ed","last_reissued_at":"2026-07-05T07:20:17.914136Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T07:20:17.914136Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Almost-Sure Safety Guarantees of Stochastic Zero-Control Barrier Functions Do Not Hold","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.RO"],"primary_cat":"math.OC","authors_text":"Andrew Clark, Chuchu Fan, Oswin So","submitted_at":"2023-12-05T02:14:51Z","abstract_excerpt":"The 2021 paper \"Control barrier functions for stochastic systems\" provides theorems that give almost sure safety guarantees given stochastic zero control barrier function (ZCBF). Unfortunately, both the theorem and its proof is invalid. In this letter, we illustrate on a toy example that the almost sure safety guarantees for stochastic ZCBF do not hold and explain why the proof is flawed. Although stochastic reciprocal barrier functions (RCBF) also uses the same proof technique, we provide a different proof technique that verifies that stochastic RCBFs are indeed safe with probability one. Usi"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2312.02430","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/2312.02430/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":"2312.02430","created_at":"2026-07-05T07:20:17.914195+00:00"},{"alias_kind":"arxiv_version","alias_value":"2312.02430v1","created_at":"2026-07-05T07:20:17.914195+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2312.02430","created_at":"2026-07-05T07:20:17.914195+00:00"},{"alias_kind":"pith_short_12","alias_value":"LGIYFUJYA5WI","created_at":"2026-07-05T07:20:17.914195+00:00"},{"alias_kind":"pith_short_16","alias_value":"LGIYFUJYA5WIMWKC","created_at":"2026-07-05T07:20:17.914195+00:00"},{"alias_kind":"pith_short_8","alias_value":"LGIYFUJY","created_at":"2026-07-05T07:20:17.914195+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":2,"internal_anchor_count":0,"sample":[{"citing_arxiv_id":"2603.10572","citing_title":"Safety-critical Control Under Partial Observability: Reach-Avoid POMDP meets Belief Space Control","ref_index":60,"is_internal_anchor":false},{"citing_arxiv_id":"2605.03595","citing_title":"Almost Sure Reachability in Continuous-time Stochastic Systems","ref_index":11,"is_internal_anchor":false}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/LGIYFUJYA5WIMWKCSECHA4FRTY","json":"https://pith.science/pith/LGIYFUJYA5WIMWKCSECHA4FRTY.json","graph_json":"https://pith.science/api/pith-number/LGIYFUJYA5WIMWKCSECHA4FRTY/graph.json","events_json":"https://pith.science/api/pith-number/LGIYFUJYA5WIMWKCSECHA4FRTY/events.json","paper":"https://pith.science/paper/LGIYFUJY"},"agent_actions":{"view_html":"https://pith.science/pith/LGIYFUJYA5WIMWKCSECHA4FRTY","download_json":"https://pith.science/pith/LGIYFUJYA5WIMWKCSECHA4FRTY.json","view_paper":"https://pith.science/paper/LGIYFUJY","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2312.02430&json=true","fetch_graph":"https://pith.science/api/pith-number/LGIYFUJYA5WIMWKCSECHA4FRTY/graph.json","fetch_events":"https://pith.science/api/pith-number/LGIYFUJYA5WIMWKCSECHA4FRTY/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/LGIYFUJYA5WIMWKCSECHA4FRTY/action/timestamp_anchor","attest_storage":"https://pith.science/pith/LGIYFUJYA5WIMWKCSECHA4FRTY/action/storage_attestation","attest_author":"https://pith.science/pith/LGIYFUJYA5WIMWKCSECHA4FRTY/action/author_attestation","sign_citation":"https://pith.science/pith/LGIYFUJYA5WIMWKCSECHA4FRTY/action/citation_signature","submit_replication":"https://pith.science/pith/LGIYFUJYA5WIMWKCSECHA4FRTY/action/replication_record"}},"created_at":"2026-07-05T07:20:17.914195+00:00","updated_at":"2026-07-05T07:20:17.914195+00:00"}