Refine Results
People
  1. Krishnendu Chatterjee (41)
  2. Thomas Henzinger (21)
  3. Carl-Philipp Heisenberg (20)
  4. Martin Chmelik (20)
  5. Andreas Pavlogiannis (13)

More People

Publications
  1. CAV: Computer Aided Verification (8)
  2. Nature Cell Biology (5)
  3. Developmental Cell (3)
  4. Genetics (3)
  5. IST Dissertation (3)

More Publications

Affiliation
  1. IST Austria (157)
Peer reviewed
  1. yes (160)
Invited
  1. no (160)

Results (160)

  • Abstraction-driven concolic testing
    Conference paper
  • Indefinite-horizon reachability in Goal-DEC-POMDPs
    Conference paper