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]
@inproceedings{SalamatiZ22,
title = {Data-Driven Safety Verification of Stochastic Systems via Barrier Certificates: A Wait-and-Judge Approach},
author = {Ali Salamati and Majid Zamani},
year = {2022},
url = {https://proceedings.mlr.press/v168/salamati22a.html},
researchr = {https://researchr.org/publication/SalamatiZ22},
cites = {0},
citedby = {0},
pages = {441-452},
booktitle = {Learning for Dynamics and Control Conference, L4DC 2022, 23-24 June 2022, Stanford University, Stanford, CA, USA},
editor = {Roya Firoozi and Negar Mehr and Esen Yel and Rika Antonova and Jeannette Bohg and Mac Schwager and Mykel J. Kochenderfer},
volume = {168},
series = {Proceedings of Machine Learning Research},
publisher = {PMLR},
}