Guard Automata for the Verification of Safety and Liveness of Distributed Algorithms.
Nathalie BertrandBastien ThomasJosef WidderPublished in: CONCUR (2021)
Keyphrases
- computational efficiency
- data mining algorithms
- computationally efficient
- data mining
- computational complexity
- fault tolerant
- orders of magnitude
- theoretical analysis
- multi agent systems
- cooperative
- evolutionary algorithm
- multi agent
- objective function
- face recognition
- learning algorithm
- times faster
- genetic algorithm