Refine Results
Publications
  1. Information and Computation (10)
  2. CAV: Computer Aided Verification (9)
  3. LICS: Logic in Computer Science (9)
  4. CONCUR: Concurrency Theory (7)
  5. Logical Methods in Computer Science (7)

More Publications

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

Results (184)

  • POMDPs under probabilistic semantics
    Conference paper