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