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

Florent Delgrange

Faculteit van de Wetenschappen

Onderzoeksoutput: PhD Thesis

138 Downloads (Pure)

3 Conference paper
2 Unpublished abstract

2 resultaten

Filter

2024

Controller Synthesis from Deep Reinforcement Learning Policies: Extended Abstract
Delgrange, F., Avni, G., Lukina, A., Schilling, C., Nowe, A. & Pérez, G. A., 18 nov 2024.
Onderzoeksoutput: Unpublished abstract

Open Access
Bestand

9 Downloads (Pure)
The Wasserstein Believer: Learning Belief Updates for Partially Observable Environments through Reliable Latent Space Models: Extended Abstract
Avalos, R., Delgrange, F., Nowe, A., Pérez, G. A. & Roijers, D. M., 18 nov 2024.
Onderzoeksoutput: Unpublished abstract

Open Access