 | 2012 |
| 5 |  | Shankara Narayanan Krishna,
Lakshmi Manasa,
Ashish Chiplunkar:
Nash Equilibrium in Weighted Concurrent Timed Games with Reachability Objectives.
ICDCIT 2012: 117-128 |
| 2011 |
| 4 |  | Lakshmi Manasa,
Shankara Narayanan Krishna,
Chinmay Jain:
Model Checking Weighted Integer Reset Timed Automata.
Theory Comput. Syst. 48(3): 648-679 (2011) |
| 2010 |
| 3 |  | Lakshmi Manasa,
Shankara Narayanan Krishna:
Integer Reset Timed Automata: Clock Reduction and Determinizability
CoRR abs/1001.1215: (2010) |
| 2008 |
| 2 |  | Lakshmi Manasa,
Shankara Narayanan Krishna,
Kumar Nagaraj:
Updatable Timed Automata with Additive and Diagonal Constraints.
CiE 2008: 407-416 |
| 1 |  | P. Vijay Suman,
Paritosh K. Pandya,
Shankara Narayanan Krishna,
Lakshmi Manasa:
Timed Automata with Integer Resets: Language Inclusion and Expressiveness.
FORMATS 2008: 78-92 |