Lakshmi Manasa

According to our database, Lakshmi Manasa authored at least 14 papers between 2008 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

Stochastic Timed Games Revisited.

S. Akshay, Patricia Bouyer, Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi

Proceedings of the 41st International Symposium on Mathematical Foundations of Computer Science, 2016

2015

Reachability Games on Recursive Hybrid Automata.

Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi

Proceedings of the 22nd International Symposium on Temporal Representation and Reasoning, 2015

On Pure Nash Equilibria in Stochastic Games.

Ankush Das, Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi, Dominik Wojtczak

Proceedings of the Theory and Applications of Models of Computation, 2015

Time-Bounded Reachability Problem for Recursive Timed Automata is Undecidable.

Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi

Proceedings of the Language and Automata Theory and Applications, 2015

What's decidable about recursive hybrid automata?

Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi

Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015

Revisiting Robustness in Priced Timed Games.

Shibashis Guha, Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi

Proceedings of the 35th IARCS Annual Conference on Foundation of Software Technology and Theoretical Computer Science, 2015

2014

Improved Undecidability Results for Reachability Games on Recursive Timed Automata.

Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi

Proceedings of the Proceedings Fifth International Symposium on Games, 2014

On The Reachability Problem for Recursive Hybrid Automata with One and Two Players.

Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi

CoRR, 2014

Adding Negative Prices to Priced Timed Games.

Thomas Brihaye, Gilles Geeraerts, Shankara Narayanan Krishna, Lakshmi Manasa, Benjamin Monmege, Ashutosh Trivedi

Proceedings of the CONCUR 2014 - Concurrency Theory - 25th International Conference, 2014

2012

Nash Equilibrium in Weighted Concurrent Timed Games with Reachability Objectives.

Shankara Narayanan Krishna, Lakshmi Manasa, Ashish Chiplunkar

Proceedings of the Distributed Computing and Internet Technology, 2012

2011

Model Checking Weighted Integer Reset Timed Automata.

Lakshmi Manasa, Shankara Narayanan Krishna, Chinmay Jain

Theory Comput. Syst., 2011

2010

Integer Reset Timed Automata: Clock Reduction and Determinizability

Lakshmi Manasa, Shankara Narayanan Krishna

CoRR, 2010

2008

Timed Automata with Integer Resets: Language Inclusion and Expressiveness.

P. Vijay Suman, Paritosh K. Pandya, Shankara Narayanan Krishna, Lakshmi Manasa

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2008

Updatable Timed Automata with Additive and Diagonal Constraints.

Lakshmi Manasa, Shankara Narayanan Krishna, Kumar Nagaraj

Proceedings of the Logic and Theory of Algorithms, 2008