Provider: Schloss Dagstuhl - Leibniz Center for Informatics
Database: dblp computer science bibliography
Content:text/plain; charset="utf-8"
TY - CPAPER
ID - DBLP:conf/aips/KlauckS0H18
AU - Klauck, Michaela
AU - Steinmetz, Marcel
AU - Hoffmann, Jörg
AU - Hermanns, Holger
TI - Compiling Probabilistic Model Checking into Probabilistic Planning.
BT - Proceedings of the Twenty-Eighth International Conference on Automated Planning and Scheduling, ICAPS 2018, Delft, The Netherlands, June 24-29, 2018.
SP - 150
EP - 154
PY - 2018//
UR - https://aaai.org/ocs/index.php/ICAPS/ICAPS18/paper/view/17740
ER -
