Efficient Network Reachability Analysis Using a Succinct Control Plane Representation.
Seyed Kaveh FayazTushar SharmaAri FogelRatul MahajanTodd D. MillsteinVyas SekarGeorge VarghesePublished in: OSDI (2016)
Keyphrases
- reachability analysis
- control system
- computer networks
- complex networks
- peer to peer
- control strategy
- network traffic
- model checking
- contextual information
- sufficient conditions
- machine learning
- knowledge representation
- relational databases
- reinforcement learning
- three dimensional
- knowledge base
- artificial intelligence