Verification of heterogeneous multi-agent system using MCMAS.

Jiyoung Choi Seungkeun Kim Antonios Tsourdos

Published in: Int. J. Syst. Sci. (2015)

Keyphrases

multi agent systems
model checker
model checking
cooperative
formal verification
multi agent
intelligent agents
autonomous agents
real world
game theory
face verification
formal methods
agent systems
asynchronous circuits
verification method
supply chain coordination