Formal Verification of Efficiently Distilled RL Policies with Many-sided Guarantees

Formal Verification of Efficiently Distilled RL Policies with Many-sided Guarantees ■

Florent Delgrange, Ann Nowe, Guillermo A. Pérez