Discrete abstractions of hybrid systems (2000)

by R Alur, T A Henzinger, G Lafferriere, G J Pappas
Venue:Proceedings of the IEEE