Lakshmi Manasa

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Improved undecidability results for reachability games on recursive timed automata	2021-06-24	Paper
Improved undecidability results for reachability games on recursive timed automata (available as arXiv preprint)	2021-06-24	Paper
Stochastic timed games revisited (available as arXiv preprint)	2018-03-21	Paper
Revisiting robustness in priced timed games (available as arXiv preprint)	2017-07-13	Paper
What's decidable about recursive hybrid automata? Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control	2017-05-19	Paper
Time-Bounded Reachability Problem for Recursive Timed Automata is Undecidable Language and Automata Theory and Applications	2016-04-08	Paper
On pure Nash equilibria in stochastic games Lecture Notes in Computer Science	2015-09-30	Paper
Adding negative prices to priced timed games CONCUR 2014 – Concurrency Theory	2014-09-15	Paper
Model checking weighted integer reset timed automata Theory of Computing Systems	2011-05-23	Paper
Timed Automata with Integer Resets: Language Inclusion and Expressiveness Lecture Notes in Computer Science	2008-12-02	Paper
Updatable Timed Automata with Additive and Diagonal Constraints Logic and Theory of Algorithms	2008-06-19	Paper

Research outcomes over time

This page was built for person: Lakshmi Manasa