Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems

Authors: Rajeev Alur, Costas Courcoubetis, Thomas A. Henzinger, Pei-Hsin Ho - Lecture notes in computer science 1992 cited by 1,103