www.prismmodelchecker.org
[RV90] A. Roth and J.H. Vande Vate. Random paths to stability in two-sided matching. Econometrica, 58(1475-1480). 1990.
Links: [Google] [Google Scholar]

Publications