Verification of Behavior Trees with Contingency Monitors

Serena S. Serbinowska, Nicholas Potteiger, Anne M. Tumlin +1

Behavior Trees (BTs) are high level controllers that have found use in a wide range of robotics tasks. As they grow in popularity and usage, it is crucial to ensure that the approp…