Model Checking Multi-Agent Programs with CASP

This publication has 6 references indexed in Scilit:

• Model checking agentspeak
  Published by Association for Computing Machinery (ACM) ,2003
• NuSMV 2: An OpenSource Tool for Symbolic Model Checking
  Published by Springer Nature ,2002
• Model checking programs
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2000
• Decision procedures for BDI logics
  Journal of Logic and Computation, 1998
• The model checker SPIN
  IEEE Transactions on Software Engineering, 1997
• AgentSpeak(L): BDI agents speak out in a logical computable language
  Published by Springer Nature ,1996