10 citations · 63 across the 43 of their papers we have counts for
3 papers · 2 filters
On Nonlinear Prices in Timed Automata
Devendra Bhave, Shankara Narayanan Krishna, Ashutosh Trivedi
Priced timed automata provide a natural model for quantitative analysis of real-time systems and have been successfully applied in various scheduling and planning problems. The opt…
FO-definable transformations of infinite strings
Vrunda Dave, Shankara Narayanan Krishna, Ashutosh Trivedi
The theory of regular and aperiodic transformations of finite strings has recently received a lot of interest. These classes can be equivalently defined using logic (Monadic second…
Analyzing Timed Systems Using Tree Automata
S. Akshay, Paul Gastin, Shankara Narayanan Krishna
Timed systems, such as timed automata, are usually analyzed using their operational semantics on timed words. The classical region abstraction for timed automata reduces them to (u…