BT2Automata: Expressing Behavior Trees as Automata for Formal Control Synthesis. - Ryan Matheu; Aniruddh Gopinath Puranic; John S. Baras; Calin Belta (HSCC, 2025)