Mohammad Abdulaziz

Homepages 🌐

• http://home.in.tum.de/~mansour/

E-Mails 📧

• ed.mut.ni @zizaludba.dammahom

Entries

2021

Verified Algorithms for Solving Markov Decision Processes

by Maximilian Schäffeler 📧 and Mohammad Abdulaziz 📧

Dec 16

Markov Decision Processes with Rewards

by Maximilian Schäffeler 📧 and Mohammad Abdulaziz 📧

Dec 16

2020

Verified SAT-Based AI Planning

by Mohammad Abdulaziz 🌐 and Friedrich Kurz

Oct 29

AI Planning Languages Semantics

by Mohammad Abdulaziz 🌐 and Peter Lammich 🌐

Oct 29

2018

Upper Bounding Diameters of State Spaces of Factored Transition Systems

by Friedrich Kurz and Mohammad Abdulaziz 🌐

Oct 12

An Isabelle/HOL formalisation of Green's Theorem

by Mohammad Abdulaziz 🌐 and Lawrence C. Paulson 🌐

Jan 11