Myopically Verifiable Probabilistic Certificates for Safe Control and Learning

Zhuoyuan Wang, Haoming Jing, Christian Kurniawan +2

This paper addresses the design of safety certificates for stochastic systems, with a focus on ensuring long-term safety through fast real-time control. In stochastic environments,…