| Timed automata with integer resets: Language inclusion and expressiveness PV Suman, PK Pandya, SN Krishna, L Manasa International Conference on Formal Modeling and Analysis of Timed Systems, 78-92, 2008 | 36 | 2008 |
| Adding negative prices to priced timed games T Brihaye, G Geeraerts, SN Krishna, L Manasa, B Monmege, A Trivedi International Conference on Concurrency Theory, 560-575, 2014 | 18 | 2014 |
| What's decidable about recursive hybrid automata? SN Krishna, L Manasa, A Trivedi Proceedings of the 18th International Conference on Hybrid Systems …, 2015 | 9 | 2015 |
| Integer reset timed automata: Clock reduction and determinizability L Manasa arXiv preprint arXiv:1001.1215, 2010 | 8 | 2010 |
| On pure nash equilibria in stochastic games A Das, SN Krishna, L Manasa, A Trivedi, D Wojtczak International Conference on Theory and Applications of Models of Computation …, 2015 | 5 | 2015 |
| Model checking weighted integer reset timed automata L Manasa, SN Krishna, C Jain Theory of Computing Systems 48 (3), 648-679, 2011 | 4 | 2011 |
| Improved undecidability results for reachability games on recursive timed automata SN Krishna, L Manasa, A Trivedi arXiv preprint arXiv:1408.5968, 2014 | 3 | 2014 |
| Determinization of timed automata with integral resets PV Suman, PK Pandya, SN Krishna, L Manasa Research Report TIFR-PPVS-GM-2007/4, 2007 | 3 | 2007 |
| Stochastic timed games revisited S Akshay, P Bouyer, SN Krishna, L Manasa, A Trivedi arXiv preprint arXiv:1607.05671, 2016 | 2 | 2016 |
| Updatable timed automata with additive and diagonal constraints L Manasa, SN Krishna, K Nagaraj Conference on Computability in Europe, 407-416, 2008 | 2 | 2008 |
| Reachability Games on Recursive Hybrid Automata SN Krishna, L Manasa, A Trivedi 2015 22nd International Symposium on Temporal Representation and Reasoning …, 2015 | 1 | 2015 |
| Time-Bounded Reachability Problem for Recursive Timed Automata is Undecidable SN Krishna, L Manasa, A Trivedi International Conference on Language and Automata Theory and Applications …, 2015 | 1 | 2015 |
| On The Reachability Problem for Recursive Hybrid Automata with One and Two Players SN Krishna, L Manasa, A Trivedi arXiv preprint arXiv:1406.7289, 2014 | 1 | 2014 |
| Revisiting robustness in priced timed games S Guha, SN Krishna, L Manasa, A Trivedi arXiv preprint arXiv:1507.05787, 2015 | | 2015 |
| Improved Undecidability Results for Reachability Games on Recursive Timed Automata S Narayanan Krishna, L Manasa, A Trivedi arXiv, arXiv: 1408.5968, 2014 | | 2014 |
| On The Reachability Problem for Recursive Hybrid Automata with One and Two Players S Narayanan Krishna, L Manasa, A Trivedi arXiv, arXiv: 1406.7289, 2014 | | 2014 |
| Weighted Timed Games: Positive Results with Negative Costs B Monmege, T Brihaye, S Krishna, L Manasa, A Trivedi | | 2014 |
| On the decidability of priced timed games T Brihaye, G Geeraerts, S Krishna, L Manasa, A Trivedi | | 2013 |
| Improved Undecidability Results on the Existence of Pure Nash Equilibria in Simple Stochastic Multiplayer Games A Das, L Manasa, SN Krishna, A Trivedi | | |
Shankara Narayanan KrishnaIIT BombayVerified email at cse.iitb.ac.in
