conftrace_

Florent Delgrange

3 papers · 2022–2024 · 2 conferences · across top CS/AI conferences

Achievements

Jump to papers ↓

🌍 Conference Polyglot (2) 🌉 Interdisciplinary Bridge 🐝 Cross-Pollinator (15)

Conferences

ICLR (2) AAAI (1)

Top co-authors

Ann Nowe (3) Guillermo Pérez (2) Diederik M Roijers (1) Raphaël Avalos (1) Guillermo A. Pérez (1)

Keywords

reinforcement learning (1) formal methods (1) markov decision process (1) variational autoencoder (1) policy distillation (1)

Papers

The Wasserstein Believer: Learning Belief Updates for Partially Observable Environments through Reliable Latent Space Models ICLR 2024 Wasserstein Auto-encoded MDPs: Formal Verification of Efficiently Distilled RL Policies with Many-sided Guarantees ICLR 2023 Distillation of RL Policies with Formal Guarantees via Variational Abstraction of Markov Decision Processes AAAI 2022