TY - RPRT TI - A formal implementation of Behavior Trees to act in robotics AU - Felix Ingrand PY - 2025 UR - https://arxiv.org/abs/2502.11904 ID - 2502.11904 ER -