Refine Results
Publications
  1. CAV: Computer Aided Verification (10)
  2. CONCUR: Concurrency Theory (9)
  3. LICS: Logic in Computer Science (9)
  4. CSL: Computer Science Logic (6)
  5. FSTTCS: Foundations of Software Technology and Theoretical Computer Science (6)

More Publications

Affiliation
  1. IST Austria (68)
Peer reviewed
  1. no (129)
Invited
  1. no (127)
  2. yes (2)

Results (129)

  • Perfect-information stochastic mean-payoff parity games
    Conference paper
  • Edit distance for timed automata
    Conference paper
  • Games with a weak adversary
    Conference paper
  • The complexity of ergodic mean payoff games
    Conference paper