2 papers
cs.RO2024
Formalizing Stateful Behavior Trees
Serena S. Serbinowska, Preston Robinette, Gabor Karsai +1
Behavior Trees (BTs) are high-level controllers that are useful in a variety of planning tasks and are gaining traction in robotic mission planning. As they gain popularity in safe…
cs.RO2024
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…