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

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