Compilation Based Approaches to Probabilistic Planning -- Thesis Summary