1 citations · 1 across the 2 of their papers we have counts for
2 papers
eess.SY2024
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,…
math.DS2021★ 1 cited
Myopically Verifiable Probabilistic Certificate for Long-term Safety
Zhuoyuan Wang, Haoming Jing, Christian Kurniawan +2
In this paper, we consider the use of barrier function-based approaches for the safe control problem in stochastic systems. With the presence of stochastic uncertainties, a myopic…