What's decidable about hybrid automata (1995)

by T Henzinger, P Kopke, A Puri, P Varaiya
Venue:in Proc. of the 27th ACM Symposium on the Theory of Computing