LIGHTYEAR: Using Modularity to Scale BGP Control Plane Verification.

Alan Tang Ryan Beckett Karthick Jayaraman Todd D. Millstein George Varghese

Published in: CoRR (2022)

Keyphrases

control system
anomaly detection
model checking
control strategy
small scale
adaptive control
formal methods
control theory
real time
computer vision
reinforcement learning
robot control