@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 }