TY  - RPRT
TI  - Actions You Can Handle: Dependent Types for AI Plans
AU  - Alasdair Hill
AU  - Ekaterina Komendantskaya
AU  - Matthew L. Daggitt
AU  - Ronald P. A. Petrick
PY  - 2021
UR  - https://arxiv.org/abs/2105.11267
ID  - 2105.11267
ER  -