www.prismmodelchecker.org
[ILM08] 8. E. Inarra and C. Larrea and E. Molis. Random paths to P-stability in the roommate problem. International Journal of Game Theory, 36, pages 461-471. 2008.

Publications