A Logic-Based Framework for Verifying Consensus Algorithms.
Cezara DragoiThomas A. HenzingerHelmut VeithJosef WidderDamien ZuffereyPublished in: VMCAI (2014)
Keyphrases
- recently developed
- theoretical analysis
- learning algorithm
- conceptual framework
- bayesian framework
- benchmark datasets
- computationally efficient
- data structure
- computational complexity
- graph theory
- database
- information systems
- times faster
- orders of magnitude
- image processing
- main contribution
- optimization problems
- decision trees
- theoretical framework
- computationally expensive
- face recognition
- artificial intelligence
- worst case
- significant improvement
- pruning strategy