Verification of Eventual Consensus in Synod Using a Failure-Aware Actor Model.
Saswata PaulGul A. AghaStacy PattersonCarlos A. VarelaPublished in: CoRR (2021)
Keyphrases
- probabilistic model
- statistical model
- computational model
- management system
- parameter values
- formal model
- mathematical model
- data sets
- markov chain
- high level
- theoretical framework
- computer vision
- hierarchical structure
- bayesian networks
- probability distribution
- similarity measure
- case study
- sensitivity analysis
- genetic algorithm
- neural network