Probabilistic model checking multi-agent behaviors in dispersion games using counter abstraction - Hao, J. (2014)
10.1007/978-3-642-32729-2-2