Utilizing Freedman’s inequality in discrete-time control barrier functions provides stronger safety guarantees for stochastic systems.
This paper leverages Freedman's inequality to provide less conservative safety guarantees for stochastic systems using discrete-time control barrier functions.