Formal Verification of Efficiently Distilled RL Policies with Many-sided Guarantees
 
Formal Verification of Efficiently Distilled RL Policies with Many-sided Guarantees ■
 
Florent Delgrange, Florent Delgrange, Florent Delgrange, Ann Nowe, Ann Nowe, Ann Nowe, Guillermo A. Pérez, Guillermo A. Pérez, Guillermo A. Pérez