According to our database1, Lakshmi Manasa authored at least 12 papers between 2008 and 2016.
Legend:Book In proceedings Article PhD thesis Other
Stochastic Timed Games Revisited.
Proceedings of the 41st International Symposium on Mathematical Foundations of Computer Science, 2016
Reachability Games on Recursive Hybrid Automata.
Proceedings of the 22nd International Symposium on Temporal Representation and Reasoning, 2015
On Pure Nash Equilibria in Stochastic Games.
Proceedings of the Theory and Applications of Models of Computation, 2015
Time-Bounded Reachability Problem for Recursive Timed Automata is Undecidable.
Proceedings of the Language and Automata Theory and Applications, 2015
What's decidable about recursive hybrid automata?
Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015
Revisiting Robustness in Priced Timed Games.
Proceedings of the 35th IARCS Annual Conference on Foundation of Software Technology and Theoretical Computer Science, 2015
Improved Undecidability Results for Reachability Games on Recursive Timed Automata.
Proceedings of the Proceedings Fifth International Symposium on Games, 2014
Adding Negative Prices to Priced Timed Games.
Proceedings of the CONCUR 2014 - Concurrency Theory - 25th International Conference, 2014
Nash Equilibrium in Weighted Concurrent Timed Games with Reachability Objectives.
Proceedings of the Distributed Computing and Internet Technology, 2012
Model Checking Weighted Integer Reset Timed Automata.
Theory Comput. Syst., 2011
Timed Automata with Integer Resets: Language Inclusion and Expressiveness.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2008
Updatable Timed Automata with Additive and Diagonal Constraints.
Proceedings of the Logic and Theory of Algorithms, 2008