10 citations · 63 across the 43 of their papers we have counts for
3 papers · 1 filter
Weak Singular Hybrid Automata
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…
A Unifying Approach to Decide Relations for Timed Automata and their Game Characterization
Shibashis Guha, Shankara Narayanan Krishna, Chinmay Narayan +1
In this paper we present a unifying approach for deciding various bisimulations, simulation equivalences and preorders between two timed automata states. We propose a zone based me…
On the Decidability and Complexity of Some Fragments of Metric Temporal Logic
Khushraj Madnani, Shankara Narayanan Krishna, Paritosh K. Pandya
Metric Temporal Logic, $\mtlfull$ is amongst the most studied real-time logics. It exhibits considerable diversity in expressiveness and decidability properties based on the permit…