POMDP Collection

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.