Mohammad Abdulaziz
8 papers · 2015–2025 · 2 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓+4 more ↓ Show less ↑
🐣 Hot Topic Early Bird 🏃 Academic Marathon · Half 🌉 Interdisciplinary Bridge · Silver 🗺️ Taxonomy Completionist (16) 🌍 Conference Polyglot · Bronze
🧬
Topic Evolution
🏆
Keyword Champion
(2)
🔥
Unstoppable · Bronze
🚀
Conference Pioneer
Top co-authors
Research topics
Keywords
formal verification
(5)
classical planning
(2)
markov decision process
(2)
theorem proving
(2)
plan length
(2)
upper bound
(2)
approximate policy iteration
(1)
planning under uncertainty
(1)
automated theorem proving
(1)
factored markov decision process
(1)
causal graph
(1)
formal proof
(1)
probability theory
(1)
state space
(1)
sat encoding
(1)
plan verification
(1)
planning problem
(1)
ai planning
(1)
algorithmic game theory
(1)
formal semantics
(1)
Papers
Formally Verified Approximate Policy Iteration
AAAI 2025
Interactive Theorem Provers: Applications in AI, Opportunities, and Challenges
AAAI 2024
Formally Verified SAT-Based AI Planning
AAAI 2023
Formally Verified Solution Methods for Markov Decision Processes
AAAI 2023
Formal Semantics and Formally Verified Validation for Temporal Planning
AAAI 2022
Computing Plan-Length Bounds Using Lengths of Longest Paths
AAAI 2021
Plan-Length Bounds: Beyond 1-Way Dependency
AAAI 2019
Exploiting Symmetries by Planning for a Descriptive Quotient
IJCAI 2015