Abstract: Accurate task planning plays a central role in the control of autonomous systems, such as robots, drones, and driverless vehicles. Among existing approaches, Behavior Trees (BTs) have gained ...