TY - JOUR AU - Klauck, Michaela AU - Steinmetz, Marcel AU - Hoffmann, Jörg AU - Hermanns, Holger PY - 2018/06/15 Y2 - 2024/03/28 TI - Compiling Probabilistic Model Checking into Probabilistic Planning JF - Proceedings of the International Conference on Automated Planning and Scheduling JA - ICAPS VL - 28 IS - 1 SE - Main Track DO - 10.1609/icaps.v28i1.13887 UR - https://ojs.aaai.org/index.php/ICAPS/article/view/13887 SP - 150-154 AB - <p> It has previously been observed that the verification of safety properties in deterministic model-checking frameworks can be compiled into classical planning. A similar connection exists between goal probability analysis on either side, yet that connection has not been explored. We fill that gap with a translation from Jani, an input language for quantitative model checkers including the Modest toolset and PRISM, into PPDDL. Our experiments motivate further cross-fertilization between both research areas, specifically the exchange of algorithms. Our study also initiates the creation of new benchmarks for goal probability analysis. </p> ER -