## 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