Mohammad Abdulaziz
8 papers
· 2015–2025
· 2 conferences
· across top CS/AI conferences
Achievements
π
Cross-Pollinator
(14)
π
Conference Polyglot
(2)
π
Academic Marathon
(10)
πΊοΈ
Taxonomy Completionist
(16)
π§
Keyword Pioneer
π£
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 SAT-Based AI Planning
AAAI 2023