Analyzing multi-agent systems with probabilistic model checking approach.

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

Browse the full ICSE paper archive.