Runtime Verification of P4 Switches with Reinforcement Learning

Apoorv Shukla, Kevin Nico Hudemann, Artur Hecker, Stefan Schmid 0001. Runtime Verification of P4 Switches with Reinforcement Learning. In Proceedings of the 2019 Workshop on Network Meets AI & ML, NetAI@SIGCOMM 2019, Beijing, China, August 23, 2019. pages 1-7, ACM, 2019. [doi]

Abstract

Abstract is missing.