Designing Behavior Trees from Goal-Oriented LTLf Formulas

Aadesh Neupane, Eric G Mercer, Michael A. Goodrich
7/12/2023
cs.AI

No confident code implementation found for this paper.

Abstract

Temporal logic can be used to formally specify autonomous agent goals, but synthesizing planners that guarantee goal satisfaction can be computationally prohibitive. This paper shows how to turn goals specified using a subset of finite trace Linear Temporal Logic (LTL) into a behavior tree (BT) that guarantees that successful traces satisfy the LTL goal. Useful LTL formulas for achievement goals can be derived using achievement-oriented task mission grammars, leading to missions made up of tasks combined using LTL operators. Constructing BTs from LTL formulas leads to a relaxed behavior synthesis problem in which a wide range of planners can implement the action nodes in the BT. Importantly, any successful trace induced by the planners satisfies the corresponding LTL formula. The usefulness of the approach is demonstrated in two ways: a) exploring the alignment between two planners and LTL goals, and b) solving a sequential key-door problem for a Fetch robot.

View on arXivView PDF

Code Implementations

No confident code match yet

We couldn't find an author-owned or strongly-evidenced community implementation for this paper. Any repos shown below are weak matches — verify before relying on them.

No code implementations found yet.

Know of an implementation? Let us know in the comments below!

Similar Papers

Conformal Temporal Logic Planning using Large Language Models

83% match1 repo12023

Learning to Ground Existentially Quantified Goals

82% match1 repo2024

Context Matters! Relaxing Goals with LLMs for Feasible 3D Scene Planning

81% match2025

Temporally Extended Goal Recognition in Fully Observable Non-Deterministic Domain Models

81% match2023

A Behavioural and Representational Evaluation of Goal-Directedness in Language Model Agents

81% match2026

CABTO: Context-Aware Behavior Tree Grounding for Robot Manipulation

80% match2026

Cite this paper

@article{neupane2023designing,
  title  = {Designing Behavior Trees from Goal-Oriented LTLf Formulas},
  author = {Aadesh Neupane and Eric G Mercer and Michael A. Goodrich},
  year   = {2023},
  eprint = {2307.06399},
  archivePrefix = {arXiv},
  url    = {http://arxiv.org/abs/2307.06399v2}
}

Add a badge to your README

Shows whether official code is linked for this paper.

Code of Paper badge
[![Code of Paper](https://codeofpaper.com/badge/2307.06399.svg)](https://codeofpaper.com/paper/2307.06399)

Discussion