Klauck, Michaela, Marcel Steinmetz, Jörg Hoffmann, and Holger Hermanns. 2018. “Compiling Probabilistic Model Checking into Probabilistic Planning”. Proceedings of the International Conference on Automated Planning and Scheduling 28 (1):150-54. https://doi.org/10.1609/icaps.v28i1.13887.