Runtime Verification of P4 Switches with Reinforcement Learning.
Apoorv ShuklaKevin Nico HudemannArtur HeckerStefan SchmidPublished in: NetAI@SIGCOMM (2019)
Keyphrases
- reinforcement learning
- function approximation
- control problems
- model checking
- dynamic programming
- reinforcement learning algorithms
- state space
- optimal policy
- formal verification
- temporal difference learning
- person identification
- model free
- multi agent reinforcement learning
- machine learning
- stochastic approximation
- asynchronous circuits
- fingerprint verification
- verification method
- neural network
- robotic control
- signature verification
- learning capabilities
- formal methods
- transfer learning
- supervised learning
- active learning
- multi agent
- genetic algorithm