Mohammad Abdulaziz
8 papers · 2015–2025 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+6 more ↓ Show less ↑
π Interdisciplinary Bridge π Academic Marathon (10) π Conference Polyglot (2) π Renaissance Researcher (5) πΊοΈ Taxonomy Completionist (16)
π£
Hot Topic Early Bird
π
Renaissance Researcher
(5)
π
Interdisciplinary Bridge
π§¬
Topic Evolution
π₯
Unstoppable
(5)
π
Conference Pioneer
Conferences
AAAI (7)
IJCAI (1)
Top co-authors
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