Variable Probabilistic Abstraction Refinement.

Luis Mara Ferrer Fioriti, Ernst Moritz Hahn, Holger Hermanns, Bjrn Wachter

Browse the full ATVA paper archive.