BehaVerify: Verifying Temporal Logic Specifications for Behavior TreesIEEE International Conference on Software Engineering and Formal Methods (SEFM), 2022 |
Behavior Trees and State Machines in Robotics ApplicationsIEEE Transactions on Software Engineering (TSE), 2022 |
Handling Concurrency in Behavior TreesIEEE Transactions on robotics (TRO), 2021 Michele Colledanchise Lorenzo Natale |