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

More Publications

Affiliation
  1. IST Austria (218)
Peer reviewed
  1. yes (150)
  2. no (131)
Invited
  1. no (279)
  2. yes (2)

Results (281)

  • 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