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)

  • Array folds logic
    Conference paper
  • Optimal cost almost-sure reachability in POMDPs
    Conference paper