Papers

Alastair F. Donaldson, Alice Miller. Symmetry Reduction for Probabilistic Model Checking Using Generic Representatives. In Proceedings of the 4th International Symposium on Automated Technology for Verification and Analysis (ATVA'06), Lecture Notes in Computer Science 4218, pages 9-23. Springer, 2006.

Bibtex:

@inproceedings{DonaldsonM_ATVA2006,
   title      = {Symmetry Reduction for Probabilistic Model Checking
                 Using Generic Representatives},
   author     = {Alastair F. Donaldson and Alice Miller},
   booktitle  = {Proceedings of the 4th International Symposium
                 on Automated Technology for Verification and
                 Analysis (ATVA'06)},
   series     = {Lecture Notes in Computer Science},
   volume     = {4218},
   pages      = {9-23},
   publisher  = {Springer},
   year       = {2006}
}