496 followers
Our paper "Plan Generation via Behavior Trees Obtained from Goal-Oriented LTLf Formulas" was a 4+ year effort to combine linear temporal logic (LTL) with Behavior Trees (BT) to create safe and resilient robots that are aligned with humans goals. https://t