Ternary Logic Encodings of Temporal Behavior Trees with Application to Control Synthesis
arXiv:2604.12092v1 Announce Type: new
Abstract: Behavior Trees (BTs) provide designers an intuitive graphical interface to construct long-horizon plans for autonomous systems. To ensure their correctness and safety, rigorous formal models and verifica…