Probabilistic CEGAR (CAV, 2008)

(untitled) - Hermanns, H; Wachter, B; Zhang, L