Login / Signup
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