Refine Results
Publications
  1. LICS: Logic in Computer Science (16)
  2. CAV: Computer Aided Verification (15)
  3. CONCUR: Concurrency Theory (15)
  4. HSCC: Hybrid Systems - Computation and Control (8)
  5. Information and Computation (8)

More Publications

Affiliation
  1. IST Austria (200)
Peer reviewed
  1. yes (134)
  2. no (129)
Invited
  1. no (261)
  2. yes (2)

Results (263)

  • Robust draws in balanced knockout tournaments
    Conference paper
  • Robust draws in balanced knockout tournaments
    Conference paper
  • Computation tree logic for synchronization properties
    Conference paper
  • On the skolem problem for continuous linear dynamical systems
    Conference paper
  • Indefinite-horizon reachability in Goal-DEC-POMDPs
    Conference paper
  • Faster statistical model checking for unbounded temporal properties
    Conference paper