Lakshmi Manasa

Available identifiers

zbMath Open manasa.lakshmiMaRDI QIDQ537905

List of research outcomes

Publication	Date of Publication	Type
Improved undecidability results for reachability games on recursive timed automata	2021-06-24	Paper
Stochastic timed games revisited	2018-03-21	Paper
Revisiting robustness in priced timed games	2017-07-13	Paper
What's decidable about recursive hybrid automata?	2017-05-19	Paper
Time-Bounded Reachability Problem for Recursive Timed Automata is Undecidable	2016-04-08	Paper
On pure Nash equilibria in stochastic games	2015-09-30	Paper
Adding negative prices to priced timed games	2014-09-15	Paper
Model checking weighted integer reset timed automata	2011-05-23	Paper
Timed Automata with Integer Resets: Language Inclusion and Expressiveness	2008-12-02	Paper
Updatable Timed Automata with Additive and Diagonal Constraints	2008-06-19	Paper

Research outcomes over time

This page was built for person: Lakshmi Manasa