Eventual consensus in Synod: verification using a failure-aware actor model.

Saswata Paul Gul Agha Stacy Patterson Carlos A. Varela

Published in: Innov. Syst. Softw. Eng. (2023)

Keyphrases

mathematical model
formal model
probability distribution
computational model
statistical model
experimental data
sensitivity analysis
information retrieval
cost function
data sets
similarity measure
prior knowledge
probabilistic model
em algorithm
neural network model