Klauck M, Steinmetz M, Hoffmann J, Hermanns H. Compiling Probabilistic Model Checking into Probabilistic Planning. ICAPS [Internet]. 2018Jun.15 [cited 2024Apr.23];28(1):150-4. Available from: https://ojs.aaai.org/index.php/ICAPS/article/view/13887