• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

LIGHTYEAR: Using Modularity to Scale BGP Control Plane Verification.

Alan TangRyan BeckettKarthick JayaramanTodd D. MillsteinGeorge 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