Results (2)

  • Edit distance for timed automata
    Conference paper
  • The complexity of ergodic mean payoff games
    Conference paper