 KT-BT: A Framework for Knowledge Transfer Through Behavior Trees in
Multi-Robot SystemsIEEE Transactions on robotics (TRO), 2022 |
 BehaVerify: Verifying Temporal Logic Specifications for Behavior TreesIEEE International Conference on Software Engineering and Formal Methods (SEFM), 2022 |