Refine Results
Publications
  1. CAV: Computer Aided Verification (5)
  2. IST Dissertation (3)
  3. ACM SIGPLAN Notices (2)
  4. Artificial Intelligence (2)
  5. HSCC: Hybrid Systems - Computation and Control (2)

More Publications

Affiliation
  1. IST Austria (52)
Peer reviewed
  1. yes (46)
  2. no (7)
Invited
  1. no (53)

Results (53)

  • JTDec: A Tool for Tree Decompositions in Soot
    Conference paper
  • Optimal cost almost-sure reachability in POMDPs
    Conference paper