Path-Oriented Reachability Verification of a Class of Nonlinear Hybrid Automata Using Convex Programming.

Lei Bu, Jianhua Zhao, Xuandong Li

Browse the full VMCAI paper archive.