On Polynomial Stochastic Barrier Functions: Bernstein Versus Sum-of-Squares

Peter Amorese, Morteza Lahijanian

Stochastic Barrier Functions (SBFs) certify the safety of stochastic systems by formulating a functional optimization problem, which state-of-the-art methods solve using Sum-of-Squ…