Mohammad Abdulaziz

Nominal Unification

by Guilherme Borges Brandão, Thomas Ammer, Daniele Nantes Sobrinho, Mauricio Ayala-Rinción, Christian Urban, Maribel Fernández and Mohammad Abdulaziz

Elementary Graph Traversal Algorithms

by Mohammad Abdulaziz

Markov Decision Processes with Rewards

by Maximilian Schäffeler and Mohammad Abdulaziz

Verified Algorithms for Solving Markov Decision Processes

by Maximilian Schäffeler and Mohammad Abdulaziz

Verified SAT-Based AI Planning

by Mohammad Abdulaziz and Friedrich Kurz

AI Planning Languages Semantics

by Mohammad Abdulaziz and Peter Lammich

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