7 citations · 12 across the 9 of their papers we have counts for
Showing cs.ROShow all
2 papers · 1 filter
cs.RO2024★ 4 cited
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.RO2022
An Empirical Analysis of the Use of Real-Time Reachability for the Safety Assurance of Autonomous Vehicles
Patrick Musau, Nathaniel Hamilton, Diego Manzanas Lopez +2
Recent advances in machine learning technologies and sensing have paved the way for the belief that safe, accessible, and convenient autonomous vehicles may be realized in the near…