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

1 results
- Title
- Start date(ascending)

Filter

BNAIC/BeNeLearn 2022
Florent Delgrange (Participant)
7 Nov 2022
Activity: Participating in or organising an event › Participation in conference