2 papers
cs.AI2021
Actions You Can Handle: Dependent Types for AI Plans
Alasdair Hill, Ekaterina Komendantskaya, Matthew L. Daggitt +1
Verification of AI is a challenge that has engineering, algorithmic and programming language components. For example, AI planners are deployed to model actions of autonomous agents…
cs.LO2020
Proof-Carrying Plans: a Resource Logic for AI Planning
Alasdair Hill, Ekaterina Komendantskaya, Ronald P. A. Petrick
Recent trends in AI verification and Explainable AI have raised the question of whether AI planning techniques can be verified. In this paper, we present a novel resource logic, th…