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

More Publications

Affiliation
  1. IST Austria (51)
Peer reviewed
  1. yes (46)
  2. no (6)
Invited
  1. no (52)

Results (52)

  • Optimal cost almost-sure reachability in POMDPs
    Conference paper