notesum.ai

Published at November 21

Verification of Behavior Trees with Contingency Monitors

cs.RO

Released Date: November 21, 2024

Authors: Serena S. Serbinowska1, Nicholas Potteiger1, Anne M. Tumlin1, Taylor T. Johnson1

Aff.: 1Vanderbilt University

Arxiv: http://arxiv.org/abs/2411.14162v1