Machine-verified network controllers.

Arjun Guha Mark Reitblatt Nate Foster

Published in: PLDI (2013)

Keyphrases

control system
network traffic
distributed network
network structure
data sets
artificial intelligence
data flow
neural network
image sequences
expert systems
wireless sensor networks
link prediction
network model
network architecture
mobile networks
network design