Integrating Verification and Repair into the Control Plane.

Aaron Gember-Jacobson Costin Raiciu Laurent Vanbever

Published in: HotNets (2017)

Keyphrases

control system
formal verification
genetic algorithm
three dimensional
model checking
optimal control
control method
control problems
control theory
databases
control strategies