Follow
Mohammad Abdulaziz
Title
Cited by
Cited by
Year
A formally verified validator for classical planning problems and solutions
M Abdulaziz, P Lammich
2018 IEEE 30th International Conference on Tools with Artificial …, 2018
172018
Formally verified algorithms for upper-bounding state space diameters
M Abdulaziz, M Norrish, C Gretton
Journal of Automated Reasoning 61, 485-520, 2018
172018
A state-space acyclicity property for exponentially tighter plan length bounds
M Abdulaziz, C Gretton, M Norrish
Proceedings of the International Conference on Automated Planning and …, 2017
162017
An Isabelle/HOL formalisation of Green’s theorem
M Abdulaziz, LC Paulson
Journal of Automated Reasoning 63, 763-786, 2019
132019
A machine learning technique for hardness estimation of QFBV SMT problems (work in progress)
MA Aziz, A Wassal, N Darwish
SMT Workshop 2012 10th International Workshop on Satisfiability Modulo …, 2012
11*2012
Trustworthy graph algorithms
M Abdulaziz, K Mehlhorn, T Nipkow
arXiv preprint arXiv:1907.04065, 2019
10*2019
Exploiting Symmetries by Planning for a Descriptive Quotient.
M Abdulaziz, M Norrish, C Gretton
IJCAI, 1479-1486, 2015
102015
Verified over-approximation of the diameter of propositionally factored transition systems
M Abdulaziz, C Gretton, M Norrish
Interactive Theorem Proving: 6th International Conference, ITP 2015, Nanjing …, 2015
102015
A verified compositional algorithm for ai planning
M Abdulaziz, C Gretton, M Norrish
10th International Conference on Interactive Theorem Proving (ITP 2019), 2019
82019
Computing plan-length bounds using lengths of longest paths
M Abdulaziz, D Berger
Proceedings of the AAAI Conference on Artificial Intelligence 35 (13), 11709 …, 2021
62021
Cost optimal planning as satisfiability
M Abdulaziz
arXiv preprint arXiv:2103.02355, 2021
52021
Plan-length bounds: Beyond 1-way dependency
M Abdulaziz
Proceedings of the AAAI Conference on Artificial Intelligence 33 (01), 7502-7510, 2019
52019
Formally verified SAT-based AI planning
M Abdulaziz, F Kurz
Proceedings of the AAAI Conference on Artificial Intelligence 37 (12), 14665 …, 2023
4*2023
Formal Semantics and Formally Verified Validation for Temporal Planning
M Abdulaziz, L Koller
Proceedings of the AAAI Conference on Artificial Intelligence 36 (9), 9635-9643, 2022
42022
Mechanising theoretical upper bounds in planning
M Abdulaziz, C Gretton, M Norrish
Workshop on Knowledge Engineering for Planning and Scheduling, 2014
32014
A Formal Analysis of RANKING
M Abdulaziz, C Madlener
arXiv preprint arXiv:2302.13747, 2023
22023
AI planning languages semantics
M Abdulaziz, P Lammich
Arch. Formal Proofs 2020, 2020
22020
Formally Verified Compositional Algorithms for Factored Transition Systems
M Abdulaziz
The Australian National University, 2017
22017
Formally verified solution methods for Markov decision processes
M Schäffeler, M Abdulaziz
Proceedings of the AAAI Conference on Artificial Intelligence 37 (12), 15073 …, 2023
12023
Formally Verified Solution Methods for Infinite-Horizon Markov Decision Processes
M Schäfeller, M Abdulaziz
arXiv preprint arXiv:2206.02169, 2022
12022
The system can't perform the operation now. Try again later.
Articles 1–20