Distributed Maximum Matching Verification in CONGEST.

Mohamad Ahmadi Fabian Kuhn

Published in: CoRR (2020)

Keyphrases

maximum matching
bipartite graph
distributed systems
stable set
distributed environment
cooperative
distributed data
peer to peer
model checking
formal verification
fault tolerant
objective function
genetic algorithm
lightweight
evolutionary algorithm
multi agent
verification method
decision trees