Florent Delgrange – Research output — Vrije Universiteit Brussel

Pleinlaan 2
1050 Brussels
Belgium

Research activity per year

33 Citations
3 h-index
6 Conference paper
2 Poster
2 Article
1 Unpublished abstract
More
- 1 PhD Thesis

1 results

Filter

2024

Activating Formal Verification of Deep Reinforcement Learning Policies by Model Checking Bisimilar Latent Space Models
Delgrange, F., 20 Aug 2024, Vrije Universiteit Brussel: VUBPRESS, Brussels University Press. 348 p.
Research output: Thesis › PhD Thesis

Open Access
File

93 Downloads (Pure)

Your message has successfully been sent.

Your message was not sent due to an error.