Convex Programs for Temporal Verification of Nonlinear Dynamical Systems,” (2007)

by S Prajna, A Rantzer
Venue:SIAM Journal on Control and Optimization,