Picture for Mohammad Abdulaziz

Mohammad Abdulaziz

Formally Verified Approximate Policy Iteration

Add code
Jun 11, 2024
Viaarxiv icon

Formally Verified Solution Methods for Infinite-Horizon Markov Decision Processes

Add code
Jun 05, 2022
Figure 1 for Formally Verified Solution Methods for Infinite-Horizon Markov Decision Processes
Figure 2 for Formally Verified Solution Methods for Infinite-Horizon Markov Decision Processes
Viaarxiv icon

Formal Semantics and Formally Verified Validation for Temporal Planning

Add code
Mar 25, 2022
Figure 1 for Formal Semantics and Formally Verified Validation for Temporal Planning
Figure 2 for Formal Semantics and Formally Verified Validation for Temporal Planning
Figure 3 for Formal Semantics and Formally Verified Validation for Temporal Planning
Viaarxiv icon

Cost Optimal Planning as Satisfiability

Add code
Mar 03, 2021
Figure 1 for Cost Optimal Planning as Satisfiability
Figure 2 for Cost Optimal Planning as Satisfiability
Figure 3 for Cost Optimal Planning as Satisfiability
Viaarxiv icon

Formally Verified SAT-Based AI Planning

Add code
Nov 14, 2020
Figure 1 for Formally Verified SAT-Based AI Planning
Viaarxiv icon

Computing Plan-Length Bounds Using Lengths of Longest Paths

Add code
Jun 01, 2020
Figure 1 for Computing Plan-Length Bounds Using Lengths of Longest Paths
Figure 2 for Computing Plan-Length Bounds Using Lengths of Longest Paths
Figure 3 for Computing Plan-Length Bounds Using Lengths of Longest Paths
Figure 4 for Computing Plan-Length Bounds Using Lengths of Longest Paths
Viaarxiv icon