 | 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 |
Data released under the ODC-BY 1.0 license — See also our legal information page