Runtime Safety and Reach-avoid Prediction of Stochastic Systems via Observation-aware Barrier Functions

Shenghua Feng, Jie An, Fanjiang Xu

Stochastic dynamical systems have emerged as fundamental models across numerous application domains, providing powerful mathematical representations for capturing uncertain system…