Hoffmann, Jörg Programming Logics, MPI for Informatics, Max Planck Society;
Domshlak, C., & Hoffmann, J. (2006). Fast Probabilistic Planning Through Weighted Model Counting. In Proceedings of the Sixteenth International Conference on Automated Planning and Scheduling (ICAPS 2006) (pp. 243-252). Menlo Park, USA: AAAI.