4 citations · 11 across the 6 of their papers we have counts for
6 papers
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…
Revisiting Robustness in Priced Timed Games
Shibashis Guha, Shankara Narayanan Krishna, Lakshmi Manasa +1
Priced timed games are optimal-cost reachability games played between two players---the controller and the environment---by moving a token along the edges of infinite graphs of con…
Improved Undecidability Results for Reachability Games on Recursive Timed Automata
Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi
We study reachability games on recursive timed automata (RTA) that generalize Alur-Dill timed automata with recursive procedure invocation mechanism similar to recursive state mach…
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…
Adding Negative Prices to Priced Timed Games
Thomas Brihaye, Gilles Geeraerts, Shankara Narayanan Krishna +3
Priced timed games (PTGs) are two-player zero-sum games played on the infinite graph of configurations of priced timed automata where two players take turns to choose transitions i…
Integer Reset Timed Automata: Clock Reduction and Determinizability
Lakshmi Manasa, Krishna. S
In this paper, we propose a procedure that given an integer reset timed automaton (IRTA) , produces a language equivalent deterministic one clock IRTA whose si…