Collection of partially observable MDPs described using the PRISM language. This repository is a step towards the introduction of a benchmark set for benchmarking verification tools for POMDPs.
moves-rwth/pomdp-collection
Collection of partially observable MDPs described using the PRISM language