Lakshmi Manasa

Publication Activity (10 Years)

Years Active: 2008-2016
Publications (10 Years): 2

Top Topics

Stochastic Games

Nash Equilibria

Hybrid Automata

Top Venues

Publications

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