Updatable Timed Automata with Additive and Diagonal Constraints. - Lakshmi Manasa; Shankara Narayanan Krishna; Kumar Nagaraj (CiE, 2008)

Timed Automata with Integer Resets: Language Inclusion and Expressiveness. - P. Vijay Suman; Paritosh K. Pandya; Shankara Narayanan Krishna; Lakshmi Manasa (FORMATS, 2008)

Integer Reset Timed Automata: Clock Reduction and Determinizability - Lakshmi Manasa; Shankara Narayanan Krishna (CoRR, 2010)

Model Checking Weighted Integer Reset Timed Automata. - Lakshmi Manasa; Shankara Narayanan Krishna; Chinmay Jain (Theory Comput. Syst., 2011)

Nash Equilibrium in Weighted Concurrent Timed Games with Reachability Objectives. - Shankara Narayanan Krishna; Lakshmi Manasa; Ashish Chiplunkar (ICDCIT, 2012)

Adding Negative Prices to Priced Timed Games. - Thomas Brihaye; Gilles Geeraerts; Shankara Narayanan Krishna; Lakshmi Manasa; Benjamin Monmege; Ashutosh Trivedi 001 (CONCUR, 2014)

On The Reachability Problem for Recursive Hybrid Automata with One and Two Players. - Shankara Narayanan Krishna; Lakshmi Manasa; Ashutosh Trivedi 001 (CoRR, 2014)

Improved Undecidability Results for Reachability Games on Recursive Timed Automata. - Shankara Narayanan Krishna; Lakshmi Manasa; Ashutosh Trivedi 001 (GandALF, 2014)

Revisiting Robustness in Priced Timed Games. - Shibashis Guha; Shankara Narayanan Krishna; Lakshmi Manasa; Ashutosh Trivedi 001 (FSTTCS, 2015)

What's decidable about recursive hybrid automata? - Shankara Narayanan Krishna; Lakshmi Manasa; Ashutosh Trivedi 001 (HSCC, 2015)

Time-Bounded Reachability Problem for Recursive Timed Automata is Undecidable. - Shankara Narayanan Krishna; Lakshmi Manasa; Ashutosh Trivedi 001 (LATA, 2015)

On Pure Nash Equilibria in Stochastic Games. - Ankush Das; Shankara Narayanan Krishna; Lakshmi Manasa; Ashutosh Trivedi 001; Dominik Wojtczak (TAMC, 2015)

Reachability Games on Recursive Hybrid Automata. - Shankara Narayanan Krishna; Lakshmi Manasa; Ashutosh Trivedi 001 (TIME, 2015)

Stochastic Timed Games Revisited. - S. Akshay 001; Patricia Bouyer; Shankara Narayanan Krishna; Lakshmi Manasa; Ashutosh Trivedi 001 (MFCS, 2016)