Follow
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
492008
Adding negative prices to priced timed games
T Brihaye, G Geeraerts, S Narayanan Krishna, L Manasa, B Monmege, ...
International Conference on Concurrency Theory, 560-575, 2014
262014
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
142015
Integer reset timed automata: Clock reduction and determinizability
L Manasa
arXiv preprint arXiv:1001.1215, 2010
102010
What's decidable about recursive hybrid automata?
SN Krishna, L Manasa, A Trivedi
Proceedings of the 18th International Conference on Hybrid Systems …, 2015
92015
Stochastic timed games revisited
S Akshay, P Bouyer, SN Krishna, L Manasa, A Trivedi
arXiv preprint arXiv:1607.05671, 2016
52016
Model checking weighted integer reset timed automata
L Manasa, SN Krishna, C Jain
Theory of Computing Systems 48 (3), 648-679, 2011
42011
Revisiting robustness in priced timed games
S Guha, SN Krishna, L Manasa, A Trivedi
arXiv preprint arXiv:1507.05787, 2015
32015
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
Updatable timed automata with additive and diagonal constraints
L Manasa, SN Krishna, K Nagaraj
Logic and Theory of Algorithms: 4th Conference on Computability in Europe …, 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
35th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2015)
MS Charikar, A Bouajjani, M Emmi, C Enea, J Hamza, J Worrell, B Barak, ...
Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, 2015
12015
Time-Bounded Reachability Problem for Recursive Timed Automata is Undecidable
SN Krishna, L Manasa, A Trivedi
Language and Automata Theory and Applications: 9th International Conference …, 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
Comparative In-Vitro Antihelmintic Activity of Prepared, Branded and Generic Albendazole Samples in Pheretima Posthuma
SK Anasurya, VS Lakshmi, V Sravya, SS Krishna, G Maha, L Manasa, ...
2023
LIPIcs, Volume 58, MFCS'16, Complete Volume}}
P Faliszewski, A Muscholl, R Niedermeier, S Ben-David, M Bojanczyk, ...
41st International Symposium on Mathematical Foundations of Computer Science …, 2016
2016
Improved Undecidability Results for Reachability Games on Recursive Timed Automata
S Narayanan Krishna, L Manasa, A Trivedi
arXiv e-prints, 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 e-prints, arXiv: 1406.7289, 2014
2014
Weighted Timed Games: Positive Results with Negative Costs
B Monmege, T Brihaye, S Krishna, L Manasa, A Trivedi
2014
The system can't perform the operation now. Try again later.
Articles 1–20