Publications

Florent Delgrange (2024). Activating Formal Verification of Deep Reinforcement Learning Policies by Model Checking Bisimilar Latent Space Models. VUBPRESS, Brussels University Press.

Cite PDF

Florent Delgrange, Guy Avni, Anna Lukina, Christian Schilling, Ann Nowé, Guillermo A. Pérez (2024). Controller Synthesis from Deep Reinforcement Learning Policies. Seventeenth European Workshop on Reinforcement Learning.

Cite EWRL 2024 MODeM 2024

Florent Delgrange, Mathieu Reymond, Ann Nowé, Guillermo A. Pérez (2023). WAE-PCN: Wasserstein-autoencoded Pareto Conditioned Networks. Proceedings of the Adaptive and Learning Agents Workshop (ALA 2023).

Cite PDF Workshop Page

Raphael Avalos, Florent Delgrange, Ann Nowé, Guillermo A. Pérez, Diederik M. Roijers (2023). The Wasserstein Believer: Learning Belief Updates for Partially Observable Environments through Reliable Latent Space Models. The Twelfth International Conference on Learning Representations, ICLR 2024.

Cite Project PDF

Florent Delgrange, Ann Nowé, Guillermo Perez (2023). Wasserstein Auto-encoded MDPs: Formal Verification of Efficiently Distilled RL Policies with Many-sided Guarantees. The Eleventh International Conference on Learning Representations, ICLR 2023.

Cite Code Project URL PDF

Florent Delgrange, Ann Nowé, Guillermo A. Pérez (2022). Distillation of RL Policies with Formal Guarantees via Variational Abstraction of Markov Decision Processes. Proceedings of the AAAI Conference on Artificial Intelligence Vol. 36 No. 6: AAAI-22 Technical Tracks 6, 6497-6505.

Cite Code Project DOI URL Extended Abstract Technical Report

Mahmoud Elbarbari, Florent Delgrange, Ivo Vervlimmeren, Kyriakos Efthymiadis, Bram Vanderborght, Ann Nowé (2022). A Framework for Flexibly Guiding Learning Agents. Neural Computing and Applications, Special Issue on Adaptive and Learning Agents 2021.

Cite DOI

Thomas Brihaye, Florent Delgrange, Youssouf Oualhadj, Mickael Randour (2020). Life is Random, Time is Not: Markov Decision Processes with Window Objectives. Logical Methods in Computer Science, December 14, 2020, Volume 16, Issue 4.

Cite URL PDF DOI

Florent Delgrange, Joost-Pieter Katoen, Tim Quatmann, Mickael Randour (2020). Simple Strategies in Multi-Objective MDPs. Tools and Algorithms for the Construction and Analysis of Systems - 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part I.

Cite DOI PDF

Thomas Brihaye, Florent Delgrange, Youssouf Oualhadj, Mickael Randour (2019). Life Is Random, Time Is Not: Markov Decision Processes with Window Objectives. 30th International Conference on Concurrency Theory, CONCUR 2019, August 27-30, 2019, Amsterdam, the Netherlands.

Cite DOI PDF