Sign in

Incremental Network Configuration Verification.

Peng ZhangYuhao HuangAaron Gember-JacobsonWenbo ShiXu LiuHongkun YangZhiqiang Zuo
Published in: HotNets (2020)
Keyphrases
  • network configuration
  • neural network
  • quality of service
  • attack graph
  • model checking
  • artificial intelligence
  • planning horizon
  • data mining