Refine Results
Publications
  1. CAV: Computer Aided Verification (19)
  2. LICS: Logic in Computer Science (18)
  3. CONCUR: Concurrency Theory (16)
  4. Information and Computation (11)
  5. Logical Methods in Computer Science (9)

More Publications

Affiliation
  1. IST Austria (255)
Peer reviewed
  1. yes (184)
  2. no (132)
Invited
  1. no (314)
  2. yes (2)

Results (316)

  • 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