Refine Results
Publications
  1. Information and Computation (10)
  2. CAV: Computer Aided Verification (8)
  3. LICS: Logic in Computer Science (7)
  4. Logical Methods in Computer Science (7)
  5. ACM Transactions on Computational Logic (TOCL) (6)

More Publications

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

Results (146)

  • POMDPs under probabilistic semantics
    Conference paper