Lakshmi Manasa

According to our database1, Lakshmi Manasa authored at least 17 papers between 2008 and 2016.

Collaborative distances :
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2016
Stochastic Timed Games Revisited.
CoRR, 2016

Stochastic Timed Games Revisited.
Proceedings of the 41st International Symposium on Mathematical Foundations of Computer Science, 2016

2015
Revisiting Robustness in Priced Timed Games.
CoRR, 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

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

Adding Negative Prices to Priced Timed Games.
CoRR, 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

2010
Integer Reset Timed Automata: Clock Reduction and Determinizability
CoRR, 2010

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


  Loading...