Ali Salamati, Majid Zamani. Data-Driven Safety Verification of Stochastic Systems via Barrier Certificates: A Wait-and-Judge Approach. In Roya Firoozi, Negar Mehr, Esen Yel, Rika Antonova, Jeannette Bohg, Mac Schwager, Mykel J. Kochenderfer, editors, Learning for Dynamics and Control Conference, L4DC 2022, 23-24 June 2022, Stanford University, Stanford, CA, USA. Volume 168 of Proceedings of Machine Learning Research, pages 441-452, PMLR, 2022. [doi]
Abstract is missing.