Cai Z, Li M, Huang W, Yang W. BT Expansion: a Sound and Complete Algorithm for Behavior Planning of Intelligent Robots with Behavior Trees. AAAI [Internet]. 2021May18 [cited 2024Apr.23];35(7):6058-65. Available from: https://ojs.aaai.org/index.php/AAAI/article/view/16755