4 citations · 11 across the 6 of their papers we have counts for
Showing cs.FLShow all
2 papers · 1 filter
cs.FL2014★ 3 cited
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…
cs.FL2010★ 4 cited
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…