Designing Behavior Trees from Goal-Oriented LTLf Formulas

Open in new window