Proof-Carrying Plans: a Resource Logic for AI Planning - arXiv https://arxiv.org/pdf/2008.04165 “ …_One benefit of this would be easy extensions to practical scenarios in which dependent types impose further restrictions and checks on action handlers. … is easy to extend this type with say an energy constraint that limits the number of actions that can be taken. …_