Incremental Network Configuration Verification.

Peng Zhang Yuhao Huang Aaron Gember-Jacobson Wenbo Shi Xu Liu Hongkun Yang Zhiqiang Zuo

Published in: HotNets (2020)

Keyphrases

network configuration
neural network
quality of service
attack graph
model checking
artificial intelligence
planning horizon
data mining