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

Florent Delgrange, Ann Nowe, Guillermo A. Pérez

Onderzoeksoutput: Poster

15 Downloads (Pure)
Originele taal-2English
StatusPublished - 7 nov 2022
EvenementBNAIC/BeNeLearn 2022: Joint International Scientific Conferences on AI and Machine Learning - Lamot Mechelen, Belgium
Duur: 7 nov 20229 nov 2022
https://bnaic2022.uantwerpen.be/

Conference

ConferenceBNAIC/BeNeLearn 2022
Verkorte titelBNAIC/BeNeLearn 2022
Land/RegioBelgium
StadLamot Mechelen
Periode7/11/229/11/22
Internet adres

Citeer dit