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 2021, 35, 6058-6065.