Lakshmi Manasa
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
7
Active years
2008–2016
Best venue rank
B
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | MFCS | Stochastic Timed Games Revisited. | S. Akshay, Patricia Bouyer, Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi |
| 2015 | LATA | Time-Bounded Reachability Problem for Recursive Timed Automata is Undecidable. | Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi |
| 2015 | TAMC | On Pure Nash Equilibria in Stochastic Games. | Ankush Das, Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi, Dominik Wojtczak |
| 2015 | TIME | Reachability Games on Recursive Hybrid Automata. | Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi |
| 2014 | CONCUR | Adding Negative Prices to Priced Timed Games. | Thomas Brihaye, Gilles Geeraerts, Shankara Narayanan Krishna, Lakshmi Manasa, Benjamin Monmege, Ashutosh Trivedi |
| 2012 | ICDCIT | Nash Equilibrium in Weighted Concurrent Timed Games with Reachability Objectives. | Shankara Narayanan Krishna, Lakshmi Manasa, Ashish Chiplunkar |
| 2008 | CiE | Updatable Timed Automata with Additive and Diagonal Constraints. | Lakshmi Manasa, Shankara Narayanan Krishna, Kumar Nagaraj |