What’s decidable about hybrid automata (1998)

by T Henzinger, P Kopke, A Puri, P Varaiya
Venue:Journal of Computer and System Sciences