Model Checking | Florent Delgrangehttps://delgrange.me/category/model-checking/Model CheckingWowchemy (https://wowchemy.com)en-usTue, 20 Aug 2024 00:00:00 +0000https://delgrange.me/media/icon_hu55be7e40e5cc7772513f5d192dadedff_14178_512x512_fill_lanczos_center_3.pngModel Checkinghttps://delgrange.me/category/model-checking/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/Wasserstein Auto-encoded MDPs: Formal Verification of Efficiently Distilled RL Policies with Many-sided Guaranteeshttps://delgrange.me/publication/delgrange-2023-wasserstein/Sun, 01 Jan 2023 00:00:00 +0000https://delgrange.me/publication/delgrange-2023-wasserstein/Distillation of RL Policies with Formal Guarantees via Variational Abstraction of Markov Decision Processeshttps://delgrange.me/publication/dblp-journalscorrabs-2112-09655/Tue, 28 Jun 2022 00:00:00 +0000https://delgrange.me/publication/dblp-journalscorrabs-2112-09655/Life is Random, Time is Not: Markov Decision Processes with Window Objectiveshttps://delgrange.me/publication/dblp-journalslmcs-brihaye-dor-20/Mon, 14 Dec 2020 00:00:00 +0000https://delgrange.me/publication/dblp-journalslmcs-brihaye-dor-20/Simple Strategies in Multi-Objective MDPshttps://delgrange.me/publication/dblp-conftacas-delgrange-kqr-20/Thu, 30 Apr 2020 00:00:00 +0000https://delgrange.me/publication/dblp-conftacas-delgrange-kqr-20/Life Is Random, Time Is Not: Markov Decision Processes with Window Objectiveshttps://delgrange.me/publication/dblp-confconcur-brihaye-dor-19/Fri, 30 Aug 2019 00:00:00 +0000https://delgrange.me/publication/dblp-confconcur-brihaye-dor-19/