www.prismmodelchecker.org
[KKW08] B. Klaus and F. Klijn and M. Walzl. Stochastic stability for roommate markets. Technical report 357, Barcelona GSE Research Network Working Paper. 2008.

Publications