Mohammad Abdulaziz
- 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
- 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