6 citations · 14 across the 14 of their papers we have counts for
6 papers · 1 filter
Openness And Partial Adjacency In One Variable TPTL
Shankara Narayanan Krishna, Khushraj Madnani, Agnipratim Nag +1
Metric Temporal Logic (MTL) and Timed Propositional Temporal Logic (TPTL) extend Linear Temporal Logic (LTL) for real-time constraints, with MTL using time-bounded modalities and T…
Stochastic Timed Games Revisited
S Akshay, Patricia Bouyer, Shankara Narayanan Krishna +2
Stochastic timed games (STGs), introduced by Bouyer and Forejt, naturally generalize both continuous-time Markov chains and timed automata by providing a partition of the locations…
Bounded-Rate Multi-Mode Systems Based Motion Planning
Devendra Bhave, Sagar Jha, Shankara Narayanan Krishna +2
Bounded-rate multi-mode systems are hybrid systems that can switch among a finite set of modes. Its dynamics is specified by a finite number of real-valued variables with mode-depe…
First-order definable string transformations
Emmanuel Filiot, Shankara Narayanan Krishna, Ashutosh Trivedi
The connection between languages defined by computational models and logic for languages is well-studied. Monadic second-order logic and finite automata are shown to closely corres…
On The Reachability Problem for Recursive Hybrid Automata with One and Two Players
Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi
Motivated by the success of bounded model checking framework for finite state machines, Ouaknine and Worrell proposed a time-bounded theory of real-time verification by claiming th…
Partially Punctual Metric Temporal Logic is Decidable
Khushraj Madnani, Shankara Narayanan Krishna, Paritosh Pandya
Metric Temporal Logic $\mathsf{MTL}[\until_I,\since_I]$ is one of the most studied real time logics. It exhibits considerable diversity in expressiveness and decidability propertie…