Verification of Eventual Consensus in Synod Using a Failure-Aware Actor Model.
Saswata PaulGul A. AghaStacy PattersonCarlos A. VarelaPublished in: NFM (2021)
Keyphrases
- probabilistic model
- mathematical model
- decision trees
- artificial intelligence
- network model
- simulation model
- database
- computational model
- maximum likelihood
- verification method
- prediction model
- neural network model
- statistical model
- em algorithm
- management system
- prior knowledge
- case study
- decision making
- machine learning