THESIS | Florent Delgrangehttps://delgrange.me/venue/thesis/THESISWowchemy (https://wowchemy.com)en-usTue, 20 Aug 2024 00:00:00 +0000https://delgrange.me/media/icon_hu55be7e40e5cc7772513f5d192dadedff_14178_512x512_fill_lanczos_center_3.pngTHESIShttps://delgrange.me/venue/thesis/Activating Formal Verification of Deep Reinforcement Learning Policies by Model Checking Bisimilar Latent Space Modelshttps://delgrange.me/publication/thesis/Tue, 20 Aug 2024 00:00:00 +0000https://delgrange.me/publication/thesis/