TY  - RPRT
TI  - Formalizing the Execution Context of Behavior Trees for Runtime Verification of Deliberative Policies
AU  - Michele Colledanchise
AU  - Giuseppe Cicala
AU  - Daniele E. Domenichelli
AU  - Lorenzo Natale
AU  - Armando Tacchella
PY  - 2021
DO  - 10.1109/iros51168.2021.9636129
UR  - https://arxiv.org/abs/2106.12474
ID  - 2106.12474
ER  -