Verifying Team Formation Protocols with Probabilistic Model Checking

This publication has 10 references indexed in Scilit:

• Reasoning about coalitional games
  Artificial Intelligence, 2009
• Uncertain Agent Verification through Probabilistic Model-Checking
  Published by Springer Nature ,2009
• Strategy Logic
  Published by Springer Nature ,2007
• Stochastic Model Checking
  Published by Springer Nature ,2007
• mcmas: A Model Checker for Multi-agent Systems
  Published by Springer Nature ,2006
• Verifying Randomized Byzantine Agreement_
  Published by Springer Nature ,2002
• Alternating-time temporal logic
  Journal of the ACM, 2002
• Methods for task allocation via agent coalition formation
  Published by Elsevier ,1998
• A logic for reasoning about time and reliability
  Formal Aspects of Computing, 1994
• The complexity of stochastic games
  Information and Computation, 1992