Automated Learning of Probabilistic Assumptions for Compositional Reasoning - Feng, L; Kwiatkowska, M; Parker, D (Springer, 2011)