Probabilistic Model Checking Multi-agent Behaviors in Dispersion Games Using Counter Abstraction.

Jianye Hao, Songzheng Song, Yang Liu, Jun Sun, Lin Gui, Jin Song Dong, Ho-fung Leung

Browse the full PRIMA paper archive.