Almost-Sure Safety Guarantees of Stochastic Zero-Control Barrier Functions Do Not Hold

Oswin So, Andrew Clark, Chuchu Fan

The 2021 paper "Control barrier functions for stochastic systems" provides theorems that give almost sure safety guarantees given stochastic zero control barrier function (ZCBF). U…