Lakshmi Manasa

17 papers B 2C 4Misc 1Journal 6Unranked 4

Year	Rank	Type	Title / 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