Refine Results
Publications
  1. CAV: Computer Aided Verification (17)
  2. LICS: Logic in Computer Science (14)
  3. Information and Computation (8)
  4. ACM Transactions on Computational Logic (TOCL) (5)
  5. TACAS: Tools and Algorithms for the Construction and Analysis of Systems (5)

More Publications

Affiliation
  1. IST Austria (154)
Peer reviewed
  1. yes (102)
  2. no (56)
Invited
  1. no (158)

Results (158)

  • Edit distance for timed automata
    Conference paper
  • Games with a weak adversary
    Conference paper
  • The complexity of ergodic mean payoff games
    Conference paper
  • Partial-observation stochastic reachability and parity games
    Conference paper