52 citations · 267 across the 47 of their papers we have counts for
1 paper · 1 filter
Javier Esparza, Andreas Gaiser
Recent work by Hermanns et al. and Kattenbelt et al. has extended counterexample-guided abstraction refinement (CEGAR) to probabilistic programs. These approaches are limited to pr…