Formalizing the Execution Context of Behavior Trees for Runtime Verification of Deliberative Policies.

Michele Colledanchise, Giuseppe Cicala, Daniele E. Domenichelli, Lorenzo Natale, Armando Tacchella

Browse the full IROS paper archive.