Symbolic analysis of hybrid systems. In: (1997)

by R Alur, T Henzinger, H Wong-Toi
Venue:Proc. 37-th IEEE Conference on Decision and Control.