Verifying Fault-tolerance in Parameterised Multi-Agent Systems.
Panagiotis KouvarosAlessio LomuscioPublished in: IJCAI (2017)
Keyphrases
- fault tolerance
- multi agent systems
- fault tolerant
- distributed computing
- load balancing
- distributed systems
- high availability
- multi agent
- intelligent agents
- response time
- replicated databases
- peer to peer
- distributed query processing
- software agents
- database replication
- agent architecture
- cooperative
- group communication
- mobile agents
- model checking
- failure recovery
- artificial intelligence
- fault management
- error detection
- high performance computing
- high scalability
- single point of failure
- component failures
- agent technology
- expert systems
- sensor networks