TY  - RPRT
TI  - Proof-Carrying Plans: a Resource Logic for AI Planning
AU  - Alasdair Hill
AU  - Ekaterina Komendantskaya
AU  - Ronald P. A. Petrick
PY  - 2020
DO  - 10.1145/3414080.3414094
UR  - https://arxiv.org/abs/2008.04165
ID  - 2008.04165
ER  -