Abdulaziz, Mohammad

8 publications

AAAI 2025 Formally Verified Approximate Policy Iteration Maximilian Schäffeler, Mohammad Abdulaziz

AAAI 2024 Interactive Theorem Provers: Applications in AI, Opportunities, and Challenges Mohammad Abdulaziz

AAAI 2023 Formally Verified SAT-Based AI Planning Mohammad Abdulaziz, Friedrich Kurz

AAAI 2023 Formally Verified Solution Methods for Markov Decision Processes Maximilian Schäffeler, Mohammad Abdulaziz

AAAI 2022 Formal Semantics and Formally Verified Validation for Temporal Planning Mohammad Abdulaziz, Lukas Koller

AAAI 2021 Computing Plan-Length Bounds Using Lengths of Longest Paths Mohammad Abdulaziz, Dominik Berger

AAAI 2019 Plan-Length Bounds: Beyond 1-Way Dependency Mohammad Abdulaziz

IJCAI 2015 Exploiting Symmetries by Planning for a Descriptive Quotient Mohammad Abdulaziz, Michael Norrish, Charles Gretton