Distributed BDD-based BMC for the verification of multi-agent systems.
Andrew V. JonesAlessio LomuscioPublished in: AAMAS (2010)
Keyphrases
- multi agent systems
- multi agent
- agent technology
- cooperative
- distributed systems
- distributed problem solving
- game theory
- multiagent environments
- distributed environment
- fully distributed
- computer networks
- computing environments
- distributed network
- distributed artificial intelligence
- fault tolerant
- coalition formation
- distributed data
- agent interactions
- distributed search
- peer to peer
- highly distributed
- data structure