Lakshmi Manasa
Lakshmi Manasa
PhD Student, IIT Bombay
Verified email at cse.iitb.ac.in - Homepage
Title
Cited by
Cited by
Year
Timed automata with integer resets: Language inclusion and expressiveness
PV Suman, PK Pandya, SN Krishna, L Manasa
International Conference on Formal Modeling and Analysis of Timed Systems, 78-92, 2008
362008
Adding negative prices to priced timed games
T Brihaye, G Geeraerts, SN Krishna, L Manasa, B Monmege, A Trivedi
International Conference on Concurrency Theory, 560-575, 2014
172014
What's decidable about recursive hybrid automata?
SN Krishna, L Manasa, A Trivedi
Proceedings of the 18th International Conference on Hybrid Systems …, 2015
82015
Integer reset timed automata: Clock reduction and determinizability
L Manasa
arXiv preprint arXiv:1001.1215, 2010
82010
On pure nash equilibria in stochastic games
A Das, SN Krishna, L Manasa, A Trivedi, D Wojtczak
International Conference on Theory and Applications of Models of Computation …, 2015
52015
Model checking weighted integer reset timed automata
L Manasa, SN Krishna, C Jain
Theory of Computing Systems 48 (3), 648-679, 2011
42011
Improved undecidability results for reachability games on recursive timed automata
SN Krishna, L Manasa, A Trivedi
arXiv preprint arXiv:1408.5968, 2014
32014
Determinization of timed automata with integral resets
PV Suman, PK Pandya, SN Krishna, L Manasa
Research Report TIFR-PPVS-GM-2007/4, 2007
32007
Stochastic timed games revisited
S Akshay, P Bouyer, SN Krishna, L Manasa, A Trivedi
arXiv preprint arXiv:1607.05671, 2016
22016
Updatable timed automata with additive and diagonal constraints
L Manasa, SN Krishna, K Nagaraj
Conference on Computability in Europe, 407-416, 2008
22008
Reachability Games on Recursive Hybrid Automata
SN Krishna, L Manasa, A Trivedi
2015 22nd International Symposium on Temporal Representation and Reasoning …, 2015
12015
On The Reachability Problem for Recursive Hybrid Automata with One and Two Players
SN Krishna, L Manasa, A Trivedi
arXiv preprint arXiv:1406.7289, 2014
12014
Revisiting robustness in priced timed games
S Guha, SN Krishna, L Manasa, A Trivedi
arXiv preprint arXiv:1507.05787, 2015
2015
Time-Bounded Reachability Problem for Recursive Timed Automata is Undecidable
SN Krishna, L Manasa, A Trivedi
International Conference on Language and Automata Theory and Applications …, 2015
2015
Improved Undecidability Results for Reachability Games on Recursive Timed Automata
S Narayanan Krishna, L Manasa, A Trivedi
arXiv, arXiv: 1408.5968, 2014
2014
On The Reachability Problem for Recursive Hybrid Automata with One and Two Players
S Narayanan Krishna, L Manasa, A Trivedi
arXiv, arXiv: 1406.7289, 2014
2014
Weighted Timed Games: Positive Results with Negative Costs
B Monmege, T Brihaye, S Krishna, L Manasa, A Trivedi
2014
On the decidability of priced timed games
T Brihaye, G Geeraerts, S Krishna, L Manasa, A Trivedi
2013
Improved Undecidability Results on the Existence of Pure Nash Equilibria in Simple Stochastic Multiplayer Games
A Das, L Manasa, SN Krishna, A Trivedi
The system can't perform the operation now. Try again later.
Articles 1–19