Lakshmi Manasa

Identifiers

• name variant Lakshmi Manasa 0.60 · backfill

Papers (4)

1. Stochastic Timed Games Revisited cs.LO · 2016 · author #4
2. Revisiting Robustness in Priced Timed Games cs.LO · 2015 · author #3
3. On The Reachability Problem for Recursive Hybrid Automata with One and Two Players cs.LO · 2014 · author #2
4. Integer Reset Timed Automata: Clock Reduction and Determinizability cs.FL · 2010 · author #1

Mentions

• 1406.7289 #2 · backfill · confidence 0.70 Lakshmi Manasa
• 1001.1215 #1 · backfill · confidence 0.70 Lakshmi Manasa

Frequent Coauthors

• Ashutosh Trivedi 3 shared papers
• Shankara Narayanan Krishna 3 shared papers
• Krishna.S 1 shared papers
• Patricia Bouyer 1 shared papers
• S Akshay 1 shared papers
• Shibashis Guha 1 shared papers