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

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