Reach-avoid verification for nonlinear systems based on boundary analysis

BIB
Xue, Bai and Easwaran, Arvind and Cho, Nam-Joon and Fränzle, Martin
IEEE Trans. Automat. Contr.
2017
article
62(7): 3518-3523