Taig, R. Compilation Based Approaches to Probabilistic Planning -- Thesis Summary. AAAI 2014, 28.