On the Formal Verification of Diffusion Phenomena in Open Dynamic Agent Networks.
Francesco BelardinelliDavide GrossiPublished in: AAMAS (2015)
Keyphrases
- formal verification
- dynamic environments
- model checking
- multi agent systems
- multi agent
- autonomous agents
- symbolic model checking
- dynamic networks
- information diffusion
- multiagent systems
- software agents
- open environments
- agent architecture
- model checker
- anisotropic diffusion
- bounded model checking
- decision making
- social networks
- automated verification
- agent model
- community structure
- mobile agents
- intelligent agents