Distributed Safety Verification for Multi-Agent Systems.
Han WangAntonis PapachristodoulouKostas MargellosPublished in: CDC (2023)
Keyphrases
- multi agent systems
- multi agent
- agent technology
- cooperative
- distributed environment
- distributed systems
- distributed problem solving
- peer to peer
- distributed artificial intelligence
- lightweight
- multiagent environments
- autonomous agents
- intelligent agents
- fault tolerant
- distributed search
- formal verification
- distributed network
- agent interactions
- autonomous mobile
- artificial intelligence
- distributed data
- computing environments
- genetic algorithm
- communication overhead
- agent architecture
- communication cost
- cognitive agents
- mobile robot
- database systems
- verification method
- autonomous entities
- information systems