Reach-avoid Verification Based on Convex Optimization

Bai Xue, Naijun Zhan, Martin Fränzle +2

In this paper we propose novel optimization-based methods for verifying reach-avoid (or, eventuality) properties of continuous-time systems modelled by ordinary differential equati…