#### Filter Results:

- Full text PDF available (8)

#### Publication Year

2008

2016

- This year (0)
- Last 5 years (9)
- Last 10 years (15)

#### Publication Type

#### Co-author

#### Journals and Conferences

Learn More

In this paper, we consider a syntactic subset of timed automata called integer reset timed automata (IRTA) where resets are restricted to occur at integral time points. We argue with examples thatâ€¦ (More)

- Lakshmi Manasa, Shankara Narayanan Krishna
- ArXiv
- 2010

In this paper, we propose a procedure that given an integer reset timed automaton (IRTA) A, produces a language equivalent deterministic one clock IRTA B whose size is at most doubly exponential inâ€¦ (More)

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 between thoseâ€¦ (More)

Recursive hybrid automata generalize recursive state machines in a similar way as hybrid automata generalize state machines. Recursive hybrid automata can be considered as collection of classicalâ€¦ (More)

- Lakshmi Manasa, Shankara Narayanan Krishna, Chinmay Jain
- Theory of Computing Systems
- 2010

Weighted timed automata (WTA), introduced in Alur et al. (Proceedings of HSCCâ€™01, LNCS, vol. 2034, pp. 49â€“62, Springer, Berlin, 2001), Behrmann et al. (Proceedings of HSCCâ€™01, LNCS, vol. 2034, pp.â€¦ (More)

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 that restriction toâ€¦ (More)

- Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi
- GandALF
- 2014

We study reachability games on recursive timed automata (RTA) that generalize Alur-Dill timed automata with recursive procedure invocation mechanism similar to recursive state machines. It is knownâ€¦ (More)

- Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi
- 2015 22nd International Symposium on Temporalâ€¦
- 2015

Recursive hybrid automata generalize recursive state machines in a similar way as hybrid automata generalize state machines. Recursive hybrid automata can be considered as collection of classicalâ€¦ (More)

Ummels andWojtczak initiated the study of findingNash equilibria in simple stochastic multi-player games satisfying specific bounds. They showed that deciding the existence of pure-strategy Nashâ€¦ (More)

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 configurations of pricedâ€¦ (More)