@conferenceObjectPart{KlauckSteinmetzHoffmannHermanns_2018,
title={Compiling Probabilistic Model Checking into Probabilistic Planning},
author={Klauck, Michaela and Steinmetz, Marcel and Hoffmann, Jörg and Hermanns, Holger},
editor={de Weerdt, Mathijs and Koenig, Sven and Röger, Gabriele and Spaan, Matthijs},
issn={2334-0843},
doi={http://dx.doi.org/10.22028/D291-29346},
adress={Palo Alto, California, USA},
pages={150-154},
publisher={AAAI Press},
year={2018}
}