Klauck, M., Steinmetz, M., Hoffmann, J., & Hermanns, H. (2018). Compiling Probabilistic Model Checking into Probabilistic Planning. Proceedings of the International Conference on Automated Planning and Scheduling, 28(1), 150-154. https://doi.org/10.1609/icaps.v28i1.13887