All Stories

  1. Distillation of RL Policies with Formal Guarantees via Variational Abstraction of Markov Decision Processes

    Article • Proceedings of the AAAI Conference on Artificial Intelligence, June 2022, Association for the Advancement of Artificial Intelligence (AAAI)

    Florent Delgrange

  2. A framework for flexibly guiding learning agents

    Article • Neural Computing and Applications, June 2022, Springer Science + Business Media

    Florent Delgrange

  3. Life is Random, Time is Not: Markov Decision Processes with Window Objectives

    Article • Logical Methods in Computer Science, December 2020, Centre pour la Communication Scientifique Directe (CCSD)

    Florent Delgrange

  4. Simple Strategies in Multi-Objective MDPs

    Article • January 2020, Springer Science + Business Media

    Florent Delgrange

  5. Foundation World Models for Agents that Learn, Verify, and Adapt Reliably Beyond Static Environments

    Article • International Foundation for Autonomous Agents and Multiagent Systems

    Florent Delgrange

  6. Activating formal verification of deep reinforcement learning policies by model checking bisimilar latent space models

    Article • Department of Applied Linguistics, Translators and Interpreters, University of Antwerp

    Florent Delgrange