Taolue Chen, Marta Z. Kwiatkowska, David Parker, Aistis Simaitis. Verifying Team Formation Protocols with Probabilistic Model Checking. In João Leite, Paolo Torroni, Thomas Ågotnes, Guido Boella, Leon van der Torre, editors, Computational Logic in Multi-Agent Systems - 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011. Proceedings. Volume 6814 of Lecture Notes in Computer Science, pages 190-207, Springer, 2011. [doi]
Abstract is missing.