What's decidable about hybrid automata (1995)

by T A Henzinger, P W Kopke, A Puri, P Varaiya
Venue:J. Comput. System Sci