Reﬁned Probabilistic Abstraction Bj¨ornWachter December 8, 2010