3 citations · 10 across the 13 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
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…
cs.AI2022★ 2 cited
Formal Semantics and Formally Verified Validation for Temporal Planning
Mohammad Abdulaziz, Lukas Koller
We present a simple and concise semantics for temporal planning. Our semantics are developed and formalised in the logic of the interactive theorem prover Isabelle/HOL. We derive f…