10 citations · 63 across the 43 of their papers we have counts for
1 paper · 2 filters
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…