Enrico Marchesini

A Survey on the Verification of Reinforcement Learning Policies

Probabilistic Verification of Recurrent Neural Networks for Single and Multi-Agent Reinforcement Learning