Refine Results
Publications
  1. CAV: Computer Aided Verification (11)
  2. CONCUR: Concurrency Theory (10)
  3. LICS: Logic in Computer Science (7)
  4. Information and Computation (6)
  5. ACM Transactions on Computational Logic (TOCL) (5)

More Publications

Affiliation
  1. IST Austria (78)
Peer reviewed
  1. no (69)
  2. yes (51)
Invited
  1. no (119)
  2. yes (1)

Results (120)

  • Timed parity games: complexity and robustness
    Conference paper
  • Model-checking omega-regular properties of interval Markov chains
    Conference paper