What's decidable about hybrid automata?

Thomas A. Henzinger, Peter W. Kopke, Anuj Puri, Pravin Varaiya

Browse the full STOC paper archive.