Biró, Péter; Norman, Gethin - 2011
Marriage and Stable Roommates Automaton and show how the probabilistic model checking tool PRISM may be used to predict the … stochastic process concerned. We illustrate the usage of this technique by studying some well-known marriage and roommates …