@inproceedings{dblp:conf/icfem/0001fzze19,Author = {Bai Xue and Martin Fränzle and Hengjun Zhao and Naijun Zhan and Arvind Easwaran},Title = {Probably Approximate Safety Verification of Hybrid Dynamical Systems},Year = {2019},Pages = {236-252},Publisher = {Springer},Series = {Lecture Notes in Computer Science},Booktitle = {Formal Methods and Software Engineering - 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5-9, 2019, Proceedings},Doi = {10.1007/978-3-030-32409-4},type = {inproceedings}}@COMMENT{Bibtex file generated on }