Florent Delgrange, Florent Delgrange, Ann Nowe, Ann Nowe, Guillermo A. PĆ©rez, Guillermo A. PĆ©rez
Delgrange, F, Nowe, A & PĆ©rez, GA 2022, 'Formal Verification of Efficiently Distilled RL Policies with Many-sided Guarantees', BNAIC/BeNeLearn 2022, Lamot Mechelen, Belgium, 7/11/22 - 9/11/22.
Delgrange, F., Nowe, A., & PĆ©rez, G. A. (2022). Formal Verification of Efficiently Distilled RL Policies with Many-sided Guarantees. Poster session presented at BNAIC/BeNeLearn 2022, Lamot Mechelen, Belgium.
@conference{b4104211430a4856ab76fd4ca868aa8d,
title = "Formal Verification of Efficiently Distilled RL Policies with Many-sided Guarantees",
keywords = "Reinforcement Learning, Formal Methods, Representation Learning",
author = "Florent Delgrange and Ann Nowe and P{\'e}rez, \{Guillermo A.\}",
year = "2022",
month = nov,
day = "7",
language = "English",
note = "BNAIC/BeNeLearn 2022 : Joint International Scientific Conferences on AI and Machine Learning, BNAIC/BeNeLearn 2022 ; Conference date: 07-11-2022 Through 09-11-2022",
url = "https://bnaic2022.uantwerpen.be/",
}