Mohammad Abdulaziz

44 papers A* 9B 9Journal 24Unranked 2
YearRankTypeTitle / Venue / Authors
2026 J jnl
A Formal Analysis of Capacity Scaling Algorithms for Minimum-Cost Flows.
CoRR
Mohammad Abdulaziz, Thomas Ammer
2026 J jnl
A Formal Correctness Proof of Edmonds' Blossom Shrinking Algorithm.
J. Autom. Reason.
Mohammad Abdulaziz, Kurt Mehlhorn
2025 B conf
A Formal Analysis of Algorithms for Matroids and Greedoids.
ITP
Mohammad Abdulaziz, Thomas Ammer, Shriya Meenakshisundaram, Adem Rimpapa
2025 J jnl
A Formal Analysis of Algorithms for Matroids and Greedoids.
CoRR
Mohammad Abdulaziz, Thomas Ammer, Shriya Meenakshisundaram, Adem Rimpapa
2025 — conf
A Formally Verified IEEE 754 Floating-Point Implementation of Interval Iteration for MDPs.
CAV (2)
Bram Kohlen, Maximilian Schäffeler, Mohammad Abdulaziz, Arnd Hartmanns, Peter Lammich
2025 J jnl
A Formally Verified IEEE 754 Floating-Point Implementation of Interval Iteration for MDPs.
CoRR
Bram Kohlen, Maximilian Schäffeler, Mohammad Abdulaziz, Arnd Hartmanns, Peter Lammich
2025 J jnl
Elementary Graph Traversal Algorithms.
Arch. Formal Proofs
Mohammad Abdulaziz
2025 A* conf
Formally Verified Approximate Policy Iteration.
AAAI
Maximilian Schäffeler, Mohammad Abdulaziz
2025 J jnl
Formally Verified Certification of Unsolvability of Temporal Planning Problems.
CoRR
David Wang, Mohammad Abdulaziz
2025 J jnl
Proof-Producing Translation of Functional Programs into a Time & Space Reasonable Model.
CoRR
Kevin Kappelmann, Fabian Huch, Lukas Stevens, Mohammad Abdulaziz
2024 B conf
A Formal Analysis of Capacity Scaling Algorithms for Minimum Cost Flows.
ITP
Mohammad Abdulaziz, Thomas Ammer
2024 J jnl
A Formal Correctness Proof of Edmonds' Blossom Shrinking Algorithm.
CoRR
Mohammad Abdulaziz
2024 J jnl
Formally Verified Approximate Policy Iteration.
CoRR
Maximilian Schäffeler, Mohammad Abdulaziz
2024 A* conf
Interactive Theorem Provers: Applications in AI, Opportunities, and Challenges.
AAAI
Mohammad Abdulaziz
2023 B conf
A Formal Analysis of RANKING.
ITP
Mohammad Abdulaziz, Christoph Madlener
2023 J jnl
A Formal Analysis of RANKING.
CoRR
Mohammad Abdulaziz, Christoph Madlener
2023 A* conf
Formally Verified SAT-Based AI Planning.
AAAI
Mohammad Abdulaziz, Friedrich Kurz
2023 A* conf
Formally Verified Solution Methods for Markov Decision Processes.
AAAI
Maximilian Schäffeler, Mohammad Abdulaziz
2022 A* conf
Formal Semantics and Formally Verified Validation for Temporal Planning.
AAAI
Mohammad Abdulaziz, Lukas Koller
2022 J jnl
Formal Semantics and Formally Verified Validation for Temporal Planning.
CoRR
Mohammad Abdulaziz, Lukas Koller
2022 J jnl
Formally Verified Solution Methods for Infinite-Horizon Markov Decision Processes.
CoRR
Maximilian Schäffeler, Mohammad Abdulaziz
2021 A* conf
Computing Plan-Length Bounds Using Lengths of Longest Paths.
AAAI
Mohammad Abdulaziz, Dominik Berger
2021 J jnl
Cost Optimal Planning as Satisfiability.
CoRR
Mohammad Abdulaziz
2021 J jnl
Markov Decision Processes with Rewards.
Arch. Formal Proofs
Maximilian Schäffeler, Mohammad Abdulaziz
2021 J jnl
Verified Algorithms for Solving Markov Decision Processes.
Arch. Formal Proofs
Maximilian Schäffeler, Mohammad Abdulaziz
2020 J jnl
AI Planning Languages Semantics.
Arch. Formal Proofs
Mohammad Abdulaziz, Peter Lammich
2020 B conf
Computing Plan-Length Bounds Using Lengths of Longest Paths.
SOCS
Mohammad Abdulaziz, Dominik Berger
2020 J jnl
Computing Plan-Length Bounds Using Lengths of Longest Paths.
CoRR
Mohammad Abdulaziz, Dominik Berger
2020 J jnl
Formally Verified SAT-Based AI Planning.
CoRR
Mohammad Abdulaziz, Friedrich Kurz
2020 J jnl
Verified SAT-Based AI Planning.
Arch. Formal Proofs
Mohammad Abdulaziz, Friedrich Kurz
2019 B conf
A Verified Compositional Algorithm for AI Planning.
ITP
Mohammad Abdulaziz, Charles Gretton, Michael Norrish
2019 J jnl
An Isabelle/HOL Formalisation of Green's Theorem.
J. Autom. Reason.
Mohammad Abdulaziz, Lawrence C. Paulson
2019 A* conf
Plan-Length Bounds: Beyond 1-Way Dependency.
AAAI
Mohammad Abdulaziz
2019 B conf
Trustworthy Graph Algorithms (Invited Talk).
MFCS
Mohammad Abdulaziz, Kurt Mehlhorn, Tobias Nipkow
2019 J jnl
Trustworthy Graph Algorithms.
CoRR
Mohammad Abdulaziz, Kurt Mehlhorn, Tobias Nipkow
2018 B conf
A Formally Verified Validator for Classical Planning Problems and Solutions.
ICTAI
Mohammad Abdulaziz, Peter Lammich
2018 J jnl
An Isabelle/HOL formalisation of Green's Theorem.
Arch. Formal Proofs
Mohammad Abdulaziz, Lawrence C. Paulson
2018 J jnl
Formally Verified Algorithms for Upper-Bounding State Space Diameters.
J. Autom. Reason.
Mohammad Abdulaziz, Michael Norrish, Charles Gretton
2018 J jnl
Upper Bounding Diameters of State Spaces of Factored Transition Systems.
Arch. Formal Proofs
Friedrich Kurz, Mohammad Abdulaziz
2017 A* conf
A State-Space Acyclicity Property for Exponentially Tighter Plan Length Bounds.
ICAPS
Mohammad Abdulaziz, Charles Gretton, Michael Norrish
2016 B conf
An Isabelle/HOL Formalisation of Green's Theorem.
ITP
Mohammad Abdulaziz, Lawrence C. Paulson
2015 A* conf
Exploiting Symmetries by Planning for a Descriptive Quotient.
IJCAI
Mohammad Abdulaziz, Michael Norrish, Charles Gretton
2015 B conf
Verified Over-Approximation of the Diameter of Propositionally Factored Transition Systems.
ITP
Mohammad Abdulaziz, Charles Gretton, Michael Norrish
2014 — conf
Exploiting satisfiability modulo theories for analog layout automation.
IDT
Sherif M. Saif, Mohamed Dessouky, Salwa M. Nassar, Hazem M. Abbas, M. Watheq El-Kharashi, Mohammad Abdulaziz