# Lakshmi Manasa

According to our database

Collaborative distances:

^{1}, Lakshmi Manasa authored at least 12 papers between 2008 and 2016.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2016

Stochastic Timed Games Revisited.

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

2015

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

2014

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

2012

Nash Equilibrium in Weighted Concurrent Timed Games with Reachability Objectives.

Proceedings of the Distributed Computing and Internet Technology, 2012

2011

Model Checking Weighted Integer Reset Timed Automata.

Theory Comput. Syst., 2011

2008

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