Formal verification of neural networks for safety-critical tasks in deep reinforcement learning.

Davide Corsi, Enrico Marchesini, Alessandro Farinelli

Browse the full UAI paper archive.