Distributed Graph Automata and Verification of Distributed Algorithms.
Fabian ReiterPublished in: CoRR (2014)
Keyphrases
- worst case
- computational complexity
- distributed environment
- multi agent
- distributed systems
- cooperative
- graph theory
- mobile agents
- cellular automata
- distributed constraint optimization
- social networks
- graph representation
- directed acyclic graph
- model checking
- shortest path
- optimization problems
- computational cost
- evolutionary algorithm