Alasdair Hill | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Ekaterina Komendantskaya
19 publications
Ronald P. A. Petrick
13 publications
Matthew L. Daggitt
8 publications

research

∙ 05/24/2021

Actions You Can Handle: Dependent Types for AI Plans

Verification of AI is a challenge that has engineering, algorithmic and ...

0 Alasdair Hill, et al. ∙

research

∙ 08/10/2020

Proof-Carrying Plans: a Resource Logic for AI Planning

Recent trends in AI verification and Explainable AI have raised the ques...

0 Alasdair Hill, et al. ∙