Probabilistic Verification of Network Configurations.

Samuel Steffen Timon Gehr Petar Tsankov Laurent Vanbever Martin T. Vechev

Published in: SIGCOMM (2020)

Keyphrases

bayesian networks
network model
generative model
probabilistic model
network traffic
network structure
data sets
computer networks
network design
data flow
communication networks
information theoretic
model checking
graphical models
case study
decision trees
website
machine learning
databases