Controller Synthesis from Deep Reinforcement Learning Policies: Extended Abstract

Florent Delgrange, Guy Avni, Anna Lukina, Christian Schilling, Ann Nowe, Guillermo A. Pérez

Research output: Unpublished contribution to conference › Unpublished abstract

9 Downloads (Pure)

2 Conference paper
2 Unpublished paper
1 PhD Thesis

2 results

Filter

2023
Wasserstein Auto-encoded MDPs: Formal Verification of Efficiently Distilled RL Policies with Many-sided Guarantees
Delgrange, F., Nowe, A. & Pérez, G. A., 1 Feb 2023, The Eleventh International Conference on Learning Representations: ICLR 2023. Kigali, Rwanda: OpenReview.net, Vol. 11. p. 1-30 30 p. 4010
Research output: Chapter in Book/Report/Conference proceeding › Conference paper › Research

Open Access
File
1 Citation (Scopus)

81 Downloads (Pure)
2022
Distillation of RL Policies with Formal Guarantees via Variational Abstraction of Markov Decision Processes
Delgrange, F., Nowé, A. & Pérez, G. A., 28 Jun 2022, Proceedings of the AAAI Conference on Artificial Intelligence: Vol. 36 No. 6: AAAI-22 Technical Tracks 6. First ed. Palo Alto, California USA: AAAI Press, Vol. 36. p. 6497-6505 9 p. (Proceedings of the AAAI Conference on Artificial Intelligence; vol. 36, no. 6).
Research output: Chapter in Book/Report/Conference proceeding › Conference paper › Research

Open Access
File
4 Citations (Scopus)

41 Downloads (Pure)