Skip to main content

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