This is a list of probabilistic planning benchmarks used in the experimental section of our papers.