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

More People

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

More Publications

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

Results (157)

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