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

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

Research output: Unpublished contribution to conference › Poster

20 Downloads (Pure)

1 Participation in conference
1 Talk or presentation at a conference

2 results
- Title
- Start date(ascending)

BNAIC/BeNeLearn 2022
Florent Delgrange (Participant)
7 Nov 2022
Activity: Participating in or organising an event › Participation in conference
Formal Verification of Efficiently Distilled RL Policies with Many-sided Guarantees
Florent Delgrange (Speaker), Ann Nowe (Contributor) & Guillermo A. Pérez (Contributor)
7 Nov 2022 → 9 Nov 2022
Activity: Talk or presentation › Talk or presentation at a conference

File