Verified Algorithms for Solving Markov Decision Processes
by Maximilian Schäffeler and Mohammad Abdulaziz
Mohammad Abdulaziz
2021
Markov Decision Processes with Rewards
by Maximilian Schäffeler and Mohammad Abdulaziz
2020
Verified SAT-Based AI Planning
by Mohammad Abdulaziz and Friedrich Kurz
AI Planning Languages Semantics
by Mohammad Abdulaziz and Peter Lammich
2018
Upper Bounding Diameters of State Spaces of Factored Transition Systems
by Friedrich Kurz and Mohammad Abdulaziz
An Isabelle/HOL formalisation of Green's Theorem
by Mohammad Abdulaziz and Lawrence C. Paulson