1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.AI2024
Formally Verified Approximate Policy Iteration
Maximilian Schäffeler, Mohammad Abdulaziz
We formally verify an algorithm for approximate policy iteration on Factored Markov Decision Processes using the interactive theorem prover Isabelle/HOL. Next, we show how the form…
cs.AI2022★ 1 cited
Formally Verified Solution Methods for Infinite-Horizon Markov Decision Processes
Maximilian Schäfeller, Mohammad Abdulaziz
We formally verify executable algorithms for solving Markov decision processes (MDPs) in the interactive theorem prover Isabelle/HOL. We build on existing formalizations of probabi…