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