P4R-Type: a Verified API for P4 Control Plane Programs (Technical Report).

Jens Kanstrup Larsen Roberto Guanciale Philipp Haller Alceste Scalas

Published in: CoRR (2023)

Keyphrases

technical report
three dimensional
control system
control program
control strategy
open source
control problems
databases
source code
adaptive control