research
∙
02/27/2023
A Formal Analysis of RANKING
We describe a formal correctness proof of RANKING, an online algorithm f...
share
research
∙
06/05/2022
Formally Verified Solution Methods for Infinite-Horizon Markov Decision Processes
We formally verify executable algorithms for solving Markov decision pro...
research
∙
03/25/2022
Formal Semantics and Formally Verified Validation for Temporal Planning
We present a simple and concise semantics for temporal planning. Our sem...
research
∙
03/03/2021
Cost Optimal Planning as Satisfiability
We investigate upper bounds on the length of cost optimal plans that are...
research
∙
10/27/2020
Formally Verified SAT-Based AI Planning
We present an executable formally verified SAT encoding of classical AI ...
research
∙
06/01/2020
Computing Plan-Length Bounds Using Lengths of Longest Paths
We devise a method to exactly compute the length of the longest simple p...
research
∙
07/09/2019