Synthesizing Self-Stabilizing Parameterized Protocols with Unbounded Variables.

Published in: FMCAD (2022)

Keyphrases

expert systems
distributed systems
relevant variables
data sets
databases
neural network
machine learning
artificial intelligence
model selection
random variables
conditional probabilities
causal models
continuous variables