26 citations · 106 across the 19 of their papers we have counts for
1 paper · 2 filters
Shankara Narayanan Krishna, Umang Mathur, Ashutosh Trivedi
The framework of Hybrid automata, introduced by Alur, Courcourbetis, Henzinger, and Ho, provides a formal modeling and analysis environment to analyze the interaction between the d…