Computational techniques for the verification of hybrid systems,” (2003)

by C Tomlin, I Mitchell, A Bayen, M Oishi
Venue:Proc. IEEE,