Abstract: 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-Squares (SoS) ...
Results that may be inaccessible to you are currently showing.
Hide inaccessible results
Feedback