On a Verification Framework for Certifying Distributed Algorithms: Distributed Checking and Consistency.
Kim VöllingerSamira AkiliPublished in: FORTE (2018)
Keyphrases
- distributed systems
- distributed environment
- lightweight
- multi agent
- distributed learning
- cooperative
- multi agent systems
- distributed architecture
- worst case
- distributed computation
- main contribution
- peer to peer
- distributed data
- computer networks
- orders of magnitude
- distributed constraint optimization
- computational cost
- computational complexity
- theoretical analysis
- distributed constraint satisfaction
- model checking
- mobile agents
- data sets
- probabilistic model
- learning algorithm