TY  - RPRT
TI  - Runtime Verification of Learning Properties for Reinforcement Learning Algorithms
AU  - Tommaso Mannucci
AU  - Julio de Oliveira Filho
PY  - 2023
DO  - 10.4204/eptcs.395.15
UR  - https://arxiv.org/abs/2311.09811
ID  - 2311.09811
ER  -