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

Publications