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/",
}