PASS: Abstraction Refinement for Infinite Probabilistic Models.

Ernst Moritz Hahn, Holger Hermanns, Bjrn Wachter, Lijun Zhang

Browse the full TACAS paper archive.