What’s decidable about hybrid automata? (1998)

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