# On a notion of stochastic zeroing barrier function

arXiv: https://arxiv.org/abs/2004.01882 · HTML: https://mlsanity.com/paper/2004.01882/

## Key facts

- Cited by 1 papers in the map (data through 14 Oct 2026).
- First posted on arXiv 4 Apr 2020.

## Built on by (most cited first, 1 of 1)

- [Set Invariance with Probability One for Controlled Diffusion: Score-based Approach](https://mlsanity.com/paper/2507.22385/) (2025)

## Abstract (arXiv)

This note examines the safety verification of the solution of Ito stochastic differential equations using the notion of stochastic zeroing barrier function. The main tools in the proposed method include Ito calculus and the concept of stochastic invariant set.