Formal verification | Florent Delgrangehttps://delgrange.me/tag/formal-verification/Formal verificationWowchemy (https://wowchemy.com)en-usTue, 20 Aug 2024 00:00:00 +0000https://delgrange.me/media/icon_hu55be7e40e5cc7772513f5d192dadedff_14178_512x512_fill_lanczos_center_3.pngFormal verificationhttps://delgrange.me/tag/formal-verification/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/Safe Reinforcement Learninghttps://delgrange.me/talk/safe-reinforcement-learning/Thu, 18 Oct 2018 00:00:00 +0000https://delgrange.me/talk/safe-reinforcement-learning/