Papers

Alastair F. Donaldson, Alice Miller. Symmetry Reduction for Probabilistic Systems. In Proceedings of the 12th Workshop on Automated Reasoning (ARW'05), pages 17-18. 2005. Extended abstract.

Bibtex:

@inproceedings{DonaldsonM_ARW2005,
   title      = {Symmetry Reduction for Probabilistic Systems},
   author     = {Alastair F. Donaldson and Alice Miller},
   booktitle  = {Proceedings of the 12th Workshop on Automated
                 Reasoning (ARW'05)},
   pages      = {17-18},
   year       = {2005},
   note       = {Extended abstract}
}