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

Delgrange, F. (Speaker)
Nowe, A. (Contributor)
Guillermo A. Pérez (Contributor)

Activiteit: Talk or presentation at a conference

Periode	7 nov 2022 → 9 nov 2022
Evenementstitel	BNAIC/BeNeLearn 2022: Joint International Scientific Conferences on AI and Machine Learning
Evenementstype	Conference
Locatie	Lamot Mechelen, Belgium
Mate van erkenning	International

Documenten & links

BNAICBeNeLearn_2022_submission_604 (1)
Bestand: application/pdf, 406 KB
Type: Text

Extended abstract

Gerelateerde inhoud

Onderzoeksoutput
Formal Verification of Efficiently Distilled RL Policies with Many-sided Guarantees
Onderzoeksoutput: Poster
Distillation of RL Policies with Formal Guarantees via Variational Abstraction of Markov Decision Processes
Onderzoeksoutput: Conference paper

projecten
DESCARTES - infectieziekten economie en artificiële intelligentie met garanties
Project: Fundamenteel
Subsidie: Onderzoeksprogramma Artificiële Intelligentie (AI) Vlaanderen
Project: Toegepast