www.prismmodelchecker.org
[DMX04] E. Diamantoudi and E. Miyagawa and L. Xue. Random paths to stability in the roommates problem. Games and Economic Behavior, 48, pages 18-28. 2004.

Publications