Policy-based verification method for configurations of large network with header-space analyses.
Toshio TonouchiPublished in: APNOMS (2016)
Keyphrases
- verification method
- model checking
- network traffic
- network structure
- computer networks
- network design
- network model
- communication networks
- temporal logic
- search space
- space time
- decision making
- statistical analysis
- low dimensional
- input space
- link prediction
- peer to peer
- wireless sensor networks
- action selection
- action space
- policy making