Verifying team formation protocols with probabilistic model checking

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 6814 LNAI, Issue , 2011, Pages 190-207

  Chen, Taolue ^a   Kwiatkowska, Marta ^a   Parker, David ^a   Simaitis, Aistis ^a  

^a UNIVERSITY OF OXFORD   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COLLABORATION PROTOCOLS; DISCRETE TIME MARKOV CHAINS; FORMAL VERIFICATIONS; IS TEAMS; MARKOV DECISION PROCESSES; OPTIMAL ALGORITHM; PROBABILISTIC MODEL CHECKING; SOFTWARE PARADIGM; STOCHASTIC GAME; TEAM FORMATION; TWO-PLAYER GAMES;

COMPUTATION THEORY; INTELLIGENT AGENTS; LOGIC PROGRAMMING; MARKOV PROCESSES; MULTI AGENT SYSTEMS; SOFTWARE AGENTS; STOCHASTIC MODELS; STOCHASTIC SYSTEMS;

MODEL CHECKING;

EID: 80053113161     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-22359-4_14     Document Type: Conference Paper

References (20)

1. Abdallah, S., Lesser, V.R.: Organization-based cooperative coalition formation. In: IAT, pp. 162-168. IEEE, Los Alamitos (2004) (Pubitemid 40456674)
2. Ågotnes, T., van der Hoek, W., Wooldridge, M.: Reasoning about coalitional games. Artificial Intelligence 173(1), 45-79 (2009)
3. Alur, R., Henzinger, T.A., Kupferman, O.: Alternating-time temporal logic. J. ACM 49(5), 672-713 (2002)
4. Ballarini, P., Fisher, M., Wooldridge, M.: Uncertain agent verification through probabilistic model-checking. In: Barley, M., Mouratidis, H., Unruh, A., Spears, D., Scerri, P., Massacci, F. (eds.) SASEMAS 2004-2006. LNCS, vol. 4324, pp. 162-174. Springer, Heidelberg (2009)
5. Bonzon, E., Lagasquie-Schiex, M.-C., Lang, J.: Efficient coalitions in Boolean games. In: Texts in Logic and Games, vol. 5, pp. 293-297 (2008)
6. Chatterjee, K., Henzinger, T., Piterman, N.: Strategy logic. In: Caires, L., Vasconcelos, V.T. (eds.) CONCUR 2007. LNCS, vol. 4703, pp. 59-73. Springer, Heidelberg (2007)
7. Condon, A.: The complexity of stochastic games. Inf. Comput. 96(2), 203-224 (1992)
8. Dunne, P.E., van der Hoek, W., Kraus, S., Wooldridge, M.: Cooperative boolean games. In: Proc. of AAMAS 2008, pp. 1015-1022. ACM, New York (2008)
9. Forejt, V., Kwiatkowska, M., Norman, G., Parker, D.: Automated Verification Techniques for Probabilistic Systems. In: Proc. SFM 2011. Springer, Heidelberg (to appear, 2011)
10. Gaston, M.E., des Jardins, M.: Agent-organized networks for dynamic team formation. In: Proc. of AAMAS 2005, pp. 230-237. ACM, New York (2005)
11. Glinton, R., Scerri, P., Sycara, K.: Agent-based sensor coalition formation. In: Proc. Fusion 2008, pp. 1-7. IEEE, Los Alamitos (2008)
12. Hansson, H., Jonsson, B.: A logic for reasoning about time and reliability. Formal Aspects of Computing 6(5), 512-535 (1994)
13. Kraus, S., Shehory, O., Taase, G.: Coalition formation with uncertain heterogeneous information. In: Proc. of AAMAS 2003, pp. 1-8. ACM, New York (2003)
14. Kwiatkowska, M., Norman, G.: Verifying randomized Byzantine agreement. In: Peled, D.A., Vardi, M.Y. (eds.) FORTE 2002. LNCS, vol. 2529, pp. 194-209. Springer, Heidelberg (2002)
15. Kwiatkowska, M., Norman, G., Parker, D.: Stochastic model checking. In: Bernardo, M., Hillston, J. (eds.) SFM 2007. LNCS, vol. 4486, pp. 220-270. Springer, Heidelberg (2007) (Pubitemid 47290140)
16. Kwiatkowska, M., Norman, G., Parker, D.: PRISM 4.0: Verification of probabilistic real-time systems. In: Proc. of CAV 2011. LNCS. Springer, Heidelberg (to appear, 2011)
17. Lomuscio, A., Raimondi, F.: MCMAS: A model checker for multi-agent systems. In: Hermanns, H. (ed.) TACAS 2006. LNCS, vol. 3920, pp. 450-454. Springer, Heidelberg (2006) (Pubitemid 44019389)
18. Manisterski, E., David, E., Kraus, S., Jennings, N.R.: Forming efficient agent groups for completing complex tasks. In: Proc. of AAMAS 2006, pp. 834-841. ACM, New York (2006) (Pubitemid 46609563)
19. Osborne, M.J., Rubinstein, A.: A course in game theory. The MIT press, Cambridge (1994)
20. Shehory, O., Kraus, S.: Methods for task allocation via agent coalition formation. Artificial Intelligence 101(1-2), 165-200 (1998) (Pubitemid 128387392)