Refine Results
Years
  1. 2014 (27)
Affiliation
  1. IST Austria (27)
Peer reviewed
  1. yes (21)
  2. no (6)
Invited
  1. no (27)

Results (27)

  • Perfect-information stochastic mean-payoff parity games
    Conference paper
  • Edit distance for timed automata
    Conference paper