Verifying Team Formation Protocols with Probabilistic Model Checking
T. Chen‚ M. Kwiatkowska‚ D. Parker and A. Simaitis
Book Title
Proc. 12th International Workshop on Computational Logic in Multi−Agent Systems (CLIMA XII 2011)
Pages
190–297
Publisher
Springer
Series
LNCS
Volume
6814
Year
2011