10 citations · 63 across the 43 of their papers we have counts for
5 papers · 1 filter
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…
Mean-Payoff Games on Timed Automata
Shibashis Guha, Marcin Jurdzinski, Krishna S. +1
Mean-payoff games on timed automata are played on the infinite weighted graph of configurations of priced timed automata between two players, Player Min and Player Max, by moving a…
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…
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…