| A formally verified validator for classical planning problems and solutions M Abdulaziz, P Lammich 2018 IEEE 30th International Conference on Tools with Artificial …, 2018 | 18 | 2018 |
| Trustworthy graph algorithms M Abdulaziz, K Mehlhorn, T Nipkow arXiv preprint arXiv:1907.04065, 2019 | 17 | 2019 |
| 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 | 17 | 2017 |
| An Isabelle/HOL formalisation of Green’s theorem M Abdulaziz, LC Paulson Journal of Automated Reasoning 63, 763-786, 2019 | 16 | 2019 |
| Formally verified algorithms for upper-bounding state space diameters M Abdulaziz, M Norrish, C Gretton Journal of Automated Reasoning 61, 485-520, 2018 | 16 | 2018 |
| 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 |
| Exploiting Symmetries by Planning for a Descriptive Quotient. M Abdulaziz, M Norrish, C Gretton IJCAI, 1479-1486, 2015 | 10 | 2015 |
| 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 | 10 | 2015 |
| 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 | 8 | 2023 |
| A verified compositional algorithm for ai planning M Abdulaziz, C Gretton, M Norrish 10th International Conference on Interactive Theorem Proving (ITP 2019), 2019 | 8 | 2019 |
| A Formal Analysis of RANKING M Abdulaziz, C Madlener arXiv preprint arXiv:2302.13747, 2023 | 7 | 2023 |
| Formally verified SAT-based AI planning M Abdulaziz, F Kurz Proceedings of the AAAI Conference on Artificial Intelligence 37 (12), 14665 …, 2023 | 6* | 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 | 6 | 2022 |
| 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 | 6 | 2021 |
| Cost optimal planning as satisfiability M Abdulaziz arXiv preprint arXiv:2103.02355, 2021 | 5 | 2021 |
| Plan-length bounds: Beyond 1-way dependency M Abdulaziz Proceedings of the AAAI Conference on Artificial Intelligence 33 (01), 7502-7510, 2019 | 5 | 2019 |
| Mechanising theoretical upper bounds in planning M Abdulaziz, C Gretton, M Norrish Workshop on Knowledge Engineering for Planning and Scheduling, 2014 | 3 | 2014 |
| AI planning languages semantics M Abdulaziz, P Lammich Arch. Formal Proofs 2020, 2020 | 2 | 2020 |
| Formally Verified Compositional Algorithms for Factored Transition Systems M Abdulaziz The Australian National University, 2017 | 2 | 2017 |
| Exploiting satisfiability modulo theories for analog layout automation SM Saif, M Dessouky, S Nassar, H Abbas, MW El-Kharashi, M Abdulaziz 2014 9th International Design and Test Symposium (IDT), 1-6, 2014 | 2 | 2014 |
Michael NorrishAustralian National UniversityVerified email at anu.edu.au
