Symmetry Reduction for Probabilistic Model Checking Using Generic Representatives.

Alastair F. Donaldson, Alice Miller

Browse the full ATVA paper archive.