Runtime Verification of Learning Properties for Reinforcement Learning Algorithms

Tommaso Mannucci, Julio de Oliveira Filho

Reinforcement learning (RL) algorithms interact with their environment in a trial-and-error fashion. Such interactions can be expensive, inefficient, and timely when learning on a…