Specification and Verification of Dynamics in Agent Models.
Tibor BosseCatholijn M. JonkerLourens van der MeijAlexei SharpanskykhJan TreurPublished in: Int. J. Cooperative Inf. Syst. (2009)
Keyphrases
- agent model
- formal analysis
- formal verification
- collective decision making
- asynchronous circuits
- formal methods
- agent based simulation
- model checking
- protocol specification
- formal specification
- agent based modelling
- dynamical systems
- specification language
- concurrent systems
- multi agent
- belief networks
- random walk
- computational intelligence
- search space
- multi agent systems