Mohammad Abdulaziz

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 29

Top Topics

Markov Decision Process

Formal Analysis

Top Venues

Arch. Formal Proofs

Publications

Mohammad Abdulaziz
Interactive Theorem Provers: Applications in AI, Opportunities, and Challenges. AAAI (2024)
Maximilian Schäffeler, Mohammad Abdulaziz
Formally Verified Approximate Policy Iteration. CoRR (2024)
Mohammad Abdulaziz, Friedrich Kurz
Formally Verified SAT-Based AI Planning. AAAI (2023)
Mohammad Abdulaziz, Christoph Madlener
A Formal Analysis of RANKING. CoRR (2023)
Mohammad Abdulaziz, Christoph Madlener
A Formal Analysis of RANKING. ITP (2023)
Maximilian Schäffeler, Mohammad Abdulaziz
Formally Verified Solution Methods for Markov Decision Processes. AAAI (2023)
Maximilian Schäffeler, Mohammad Abdulaziz
Formally Verified Solution Methods for Infinite-Horizon Markov Decision Processes. CoRR (2022)
Mohammad Abdulaziz, Lukas Koller
Formal Semantics and Formally Verified Validation for Temporal Planning. CoRR (2022)
Mohammad Abdulaziz, Lukas Koller
Formal Semantics and Formally Verified Validation for Temporal Planning. AAAI (2022)
Maximilian Schäffeler, Mohammad Abdulaziz
Verified Algorithms for Solving Markov Decision Processes. Arch. Formal Proofs 2021 (2021)
Mohammad Abdulaziz, Dominik Berger
Computing Plan-Length Bounds Using Lengths of Longest Paths. AAAI (2021)
Maximilian Schäffeler, Mohammad Abdulaziz
Markov Decision Processes with Rewards. Arch. Formal Proofs 2021 (2021)
Mohammad Abdulaziz
Cost Optimal Planning as Satisfiability. CoRR (2021)
Mohammad Abdulaziz, Friedrich Kurz
Formally Verified SAT-Based AI Planning. CoRR (2020)
Mohammad Abdulaziz, Peter Lammich
AI Planning Languages Semantics. Arch. Formal Proofs 2020 (2020)
Mohammad Abdulaziz, Dominik Berger
Computing Plan-Length Bounds Using Lengths of Longest Paths. CoRR (2020)
Mohammad Abdulaziz, Dominik Berger
Computing Plan-Length Bounds Using Lengths of Longest Paths. SOCS (2020)
Mohammad Abdulaziz, Friedrich Kurz
Verified SAT-Based AI Planning. Arch. Formal Proofs 2020 (2020)
Mohammad Abdulaziz, Lawrence C. Paulson
An Isabelle/HOL Formalisation of Green's Theorem. J. Autom. Reason. 63 (3) (2019)
Mohammad Abdulaziz, Kurt Mehlhorn, Tobias Nipkow
Trustworthy Graph Algorithms. CoRR (2019)
Mohammad Abdulaziz, Kurt Mehlhorn, Tobias Nipkow
Trustworthy Graph Algorithms (Invited Talk). MFCS (2019)
Mohammad Abdulaziz, Charles Gretton, Michael Norrish
A Verified Compositional Algorithm for AI Planning. ITP (2019)
Mohammad Abdulaziz
Plan-Length Bounds: Beyond 1-Way Dependency. AAAI (2019)
Mohammad Abdulaziz, Michael Norrish, Charles Gretton
Formally Verified Algorithms for Upper-Bounding State Space Diameters. J. Autom. Reason. 61 (1-4) (2018)
Mohammad Abdulaziz, Lawrence C. Paulson
An Isabelle/HOL formalisation of Green's Theorem. Arch. Formal Proofs 2018 (2018)
Friedrich Kurz, Mohammad Abdulaziz
Upper Bounding Diameters of State Spaces of Factored Transition Systems. Arch. Formal Proofs 2018 (2018)
Mohammad Abdulaziz, Peter Lammich
A Formally Verified Validator for Classical Planning Problems and Solutions. ICTAI (2018)
Mohammad Abdulaziz, Charles Gretton, Michael Norrish
A State-Space Acyclicity Property for Exponentially Tighter Plan Length Bounds. ICAPS (2017)
Mohammad Abdulaziz, Lawrence C. Paulson
An Isabelle/HOL Formalisation of Green's Theorem. ITP (2016)
Mohammad Abdulaziz, Charles Gretton, Michael Norrish
Verified Over-Approximation of the Diameter of Propositionally Factored Transition Systems. ITP (2015)
Mohammad Abdulaziz, Michael Norrish, Charles Gretton
Exploiting Symmetries by Planning for a Descriptive Quotient. IJCAI (2015)
Sherif M. Saif, Mohamed Dessouky, Salwa M. Nassar, Hazem M. Abbas, M. Watheq El-Kharashi, Mohammad Abdulaziz
Exploiting satisfiability modulo theories for analog layout automation. IDT (2014)