Refine Results
Publications
  1. CAV: Computer Aided Verification (19)
  2. HSCC: Hybrid Systems - Computation and Control (8)
  3. CSL: Computer Science Logic (7)
  4. ICALP: Automata, Languages and Programming (7)
  5. TACAS: Tools and Algorithms for the Construction and Analysis of Systems (7)

More Publications

Affiliation
  1. IST Austria (91)
Peer reviewed
  1. no (71)
  2. yes (47)
Invited
  1. no (117)
  2. yes (1)

Results (118)

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