Simple strategies in multi-objective MDPs F Delgrange, JP Katoen, T Quatmann, M Randour International Conference on Tools and Algorithms for the Construction and …, 2020 | 32 | 2020 |
Distillation of RL Policies with Formal Guarantees via Variational Abstraction of Markov Decision Processes F Delgrange, A Nowé, GA Pérez Proceedings of the AAAI Conference on Artificial Intelligence 36 (AAAI-22 …, 2022 | 10 | 2022 |
Life is random, time is not: Markov decision processes with window objectives T Brihaye, F Delgrange, Y Oualhadj, M Randour Logical Methods in Computer Science 16, 2020 | 10 | 2020 |
Wasserstein auto-encoded MDPs: Formal verification of efficiently distilled RL policies with many-sided guarantees F Delgrange, A Nowe, GA Pérez The Eleventh International Conference on Learning Representations, ICLR 2023 …, 2023 | 5 | 2023 |
The Wasserstein Believer: Learning Belief Updates for Partially Observable Environments through Reliable Latent Space Models R Avalos, F Delgrange, A Nowé, GA Pérez, DM Roijers arXiv preprint arXiv:2303.03284, 2023 | 3 | 2023 |
A framework for flexibly guiding learning agents M Elbarbari, F Delgrange, I Vervlimmeren, K Efthymiadis, B Vanderborght, ... Neural Computing and Applications, 1-17, 2022 | 3 | 2022 |
WAE-PCN: Wasserstein-autoencoded Pareto Conditioned Networks F Delgrange, M Reymond, A Nowé, GA Pérez 2023 adaptive and learning agents workshop at AAMAS, 1-7, 2023 | 2 | 2023 |
Activating Formal Verification of Deep Reinforcement Learning Policies by Model Checking Bisimilar Latent Space Models F Delgrange | | 2024 |
Synthesis of Hierarchical Controllers Based on Deep Reinforcement Learning Policies F Delgrange, G Avni, A Lukina, C Schilling, A Nowé, GA Pérez arXiv preprint arXiv:2402.13785, 2024 | | 2024 |
moves-rwth/storm: v1. 8.1 C Hensel, T Quatmann, S Junges, M Volk, J Berger, G Kremer, A Bork, ... Zenodo, 2023 | | 2023 |
Formal Verification of Efficiently Distilled RL Policies with Many-sided Guarantees F Delgrange, A Nowé, GA Pérez BNAIC/BeNeLearn 2022: Joint International Scientific Conferences on AI and …, 2022 | | 2022 |
Distillation of RL Policies with Formal Guarantees via Variational Abstraction of Markov Decision Processes: Encore Abstract F Delgrange, A Nowe, GA Pérez BNAIC/BeNeLearn 2022: Joint International Scientific Conferences on AI and …, 2022 | | 2022 |
Distillation of RL Policies with Formal Guarantees via Variational Abstraction of Markov Decision F Delgrange, A Nowe, GA Pérez Belgium-Netherlands workshop on Reinforcement Learning 2022, 2022 | | 2022 |
WASSERSTEIN AUTO-ENCODED MDPS F Delgrange, A Nowé, GA Pérez, F Make | | |