Morteza Lahijanian

A Unifying Perspective for Safety of Stochastic Systems: From Barrier Functions to Finite Abstractions

2023 · arXiv (Cornell University)

Providing safety guarantees for stochastic dynamical systems is a central problem in various fields, including control theory, machine learning, and robotics. Existing methods either employ Stochastic Barrier Functions (SBFs) or rely on numerical approaches based …