Reach-Avoid Verification for Nonlinear Systems Based on Boundary Analysis
['Bai Xue', 'Arvind Easwaran', 'Nam-Joon Cho', 'Martin Franzle']
Reach-Avoid Verification for Nonlinear Systems Based on Boundary Analysis