pith. sign in

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