Verification of Randomized Consensus Algorithms Under Round-Rigid Adversaries.

Nathalie Bertrand Igor Konnov Marijana Lazic Josef Widder

Published in: CONCUR (2019)

Keyphrases

computational complexity
orders of magnitude
information systems
computational efficiency
randomized algorithms
neural network
memory requirements
theoretical analysis
worst case
search space
model checking
multi class
real time
data structure
three dimensional
machine learning
databases