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

Delgrange, F. (Speaker), Nowe, A. (Contributor), Guillermo A. Pérez (Contributor)

Activity: Talk or presentationTalk or presentation at a conference

Period7 Nov 20229 Nov 2022
Event titleBNAIC/BeNeLearn 2022: Joint International Scientific Conferences on AI and Machine Learning
Event typeConference
LocationLamot Mechelen, Belgium
Degree of RecognitionInternational