Lakshmi Manasa

17 papers B 2C 4Misc 1Journal 6Unranked 4
YearRankTypeTitle / Venue / Authors
2016 B conf
Stochastic Timed Games Revisited.
MFCS
S. Akshay, Patricia Bouyer, Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi
2016 J jnl
Stochastic Timed Games Revisited.
CoRR
S. Akshay, Patricia Bouyer, Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi
2015 C conf
On Pure Nash Equilibria in Stochastic Games.
TAMC
Ankush Das, Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi, Dominik Wojtczak
2015 C conf
Reachability Games on Recursive Hybrid Automata.
TIME
Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi
2015 — conf
Revisiting Robustness in Priced Timed Games.
FSTTCS
Shibashis Guha, Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi
2015 J jnl
Revisiting Robustness in Priced Timed Games.
CoRR
Shibashis Guha, Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi
2015 C conf
Time-Bounded Reachability Problem for Recursive Timed Automata is Undecidable.
LATA
Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi
2015 — conf
What's decidable about recursive hybrid automata?
HSCC
Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi
2014 B conf
Adding Negative Prices to Priced Timed Games.
CONCUR
Thomas Brihaye, Gilles Geeraerts, Shankara Narayanan Krishna, Lakshmi Manasa, Benjamin Monmege, Ashutosh Trivedi
2014 J jnl
Adding Negative Prices to Priced Timed Games.
CoRR
Thomas Brihaye, Gilles Geeraerts, Shankara Narayanan Krishna, Lakshmi Manasa, Benjamin Monmege, Ashutosh Trivedi
2014 — conf
Improved Undecidability Results for Reachability Games on Recursive Timed Automata.
GandALF
Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi
2014 J jnl
On The Reachability Problem for Recursive Hybrid Automata with One and Two Players.
CoRR
Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi
2012 Misc conf
Nash Equilibrium in Weighted Concurrent Timed Games with Reachability Objectives.
ICDCIT
Shankara Narayanan Krishna, Lakshmi Manasa, Ashish Chiplunkar
2011 J jnl
Model Checking Weighted Integer Reset Timed Automata.
Theory Comput. Syst.
Lakshmi Manasa, Shankara Narayanan Krishna, Chinmay Jain
2010 J jnl
Integer Reset Timed Automata: Clock Reduction and Determinizability
CoRR
Lakshmi Manasa, Shankara Narayanan Krishna
2008 — conf
Timed Automata with Integer Resets: Language Inclusion and Expressiveness.
FORMATS
P. Vijay Suman, Paritosh K. Pandya, Shankara Narayanan Krishna, Lakshmi Manasa
2008 C conf
Updatable Timed Automata with Additive and Diagonal Constraints.
CiE
Lakshmi Manasa, Shankara Narayanan Krishna, Kumar Nagaraj