Discrete Abstractions of Hybrid Systems (2000)

by Rajeev Alur, Thomas A. Henzinger, Gerardo Lafferriere, et al.