@article{Xue2017,Author = {Xue, Bai and Easwaran, Arvind and Cho, Nam-Joon and Fränzle, Martin},Title = {Reach-avoid verification for nonlinear systems based on boundary analysis},Journal = {IEEE Trans. Automat. Contr.},Year = {2017},Pages = {62(7): 3518-3523},type = {article}}@COMMENT{Bibtex file generated on }