Abdulaziz, Mohammad

1. Formally Verified Solution Methods for Infinite-Horizon Markov Decision Processes
   2022/06/05 by Schäfeller, Maximilian, Abdulaziz, Mohammad · 2 citations
   #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
2. Formally Verified SAT-Based AI Planning
   2020/10/27 by Mohammad Abdulaziz, Abdulaziz, Mohammad, Friedrich Kurz +1 · 2 citations
   Computer Science · #AI-based Problem Solving and Planning #Logic, programming, and type systems #Formal Methods in Verification
3. Formally Verified Approximate Policy Iteration
   2024/06/11 by Maximilian Schäffeler, Schäffeler, Maximilian, Mohammad Abdulaziz +1 · 1 citation
   Computer Science · #Age of Information Optimization #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Optimization and Search Problems