M. Klauck, M. Steinmetz, J. Hoffmann, and H. Hermanns, “Compiling Probabilistic Model Checking into Probabilistic Planning”, ICAPS, vol. 28, no. 1, pp. 150-154, Jun. 2018.