English
Related papers

Related papers: Formalizing Stateful Behavior Trees

200 papers

In this paper we provide a practical demonstration of how the modularity in a Behavior Tree (BT) decreases the effort in programming a robot task when compared to a Finite State Machine (FSM). In recent years the way to represent a task…

Robotics · Computer Science 2022-09-16 Matteo Iovino , Julian Förster , Pietro Falco , Jen Jen Chung , Roland Siegwart , Christian Smith

Behavior Trees, which originated in video games as a method for controlling NPCs but have since gained traction within the robotics community, are a framework for describing the execution of a task. BehaVerify is a tool that creates a nuXmv…

Robotics · Computer Science 2024-02-21 Serena S. Serbinowska , Taylor T. Johnson

In recent years, the model of computation known as Behavior Trees (BT), first developed in the video game industry, has become more popular in the robotics community for defining discrete behavior switching. BTs are threatening to supplant…

Robotics · Computer Science 2022-03-11 Joshua M. Zutell , David C. Conner , Philipp Schillinger

Behavior Trees (BTs) are becoming a popular tool to model the behaviors of autonomous agents in the computer game and the robotics industry. One of the key advantages of BTs lies in their composability, where complex behaviors can be built…

Robotics · Computer Science 2020-07-16 Michele Colledanchise , Lorenzo Natale

Behavior Trees (BTs) are increasingly becoming a popular control structure in robotics due to their modularity, reactivity, and robustness. In terms of BT generation methods, BT planning shows promise for generating reliable BTs. However,…

Robotics · Computer Science 2025-03-10 Yishuai Cai , Xinglin Chen , Yunxin Mao , Minglong Li , Shaowu Yang , Wenjing Yang , Ji Wang

Behavior Trees (BTs) provide a structured and reactive framework for decision-making, commonly used to switch between sub-controllers based on environmental conditions. Reinforcement Learning (RL), on the other hand, can learn near-optimal…

Artificial Intelligence · Computer Science 2026-02-12 Finn Rietz , Mart Kartašev , Petter Ögren , Johannes A. Stork

There is a growing interest in Behavior Trees (BTs) as a tool to describe and implement robot behaviors. BTs were devised in the video game industry and their adoption in robotics resulted in the development of ad-hoc libraries to design…

Robotics · Computer Science 2022-06-29 Michele Colledanchise , Lorenzo Natale

Autonomous robots combine skills to form increasingly complex behaviors, called missions. While skills are often programmed at a relatively low abstraction level, their coordination is architecturally separated and often expressed in…

Robotics · Computer Science 2025-10-16 Razan Ghzouli , Thorsten Berger , Einar Broch Johnsen , Andrzej Wasowski , Swaib Dragule

Behavior Trees (BTs) offer a powerful paradigm for designing modular and reactive robot controllers. BT planning, an emerging field, provides theoretical guarantees for the automated generation of reliable BTs. However, BT planning…

Robotics · Computer Science 2026-03-18 Yishuai Cai , Xinglin Chen , Yunxin Mao , Kun Hu , Minglong Li , Yaodong Yang , Yuanpei Chen

Recently, decision trees (DT) have been used as an explainable representation of controllers (a.k.a. strategies, policies, schedulers). Although they are often very efficient and produce small and understandable controllers for discrete…

Machine Learning · Computer Science 2022-08-30 Florian Jüngermann , Jan Křetínský , Maximilian Weininger

This paper compares two distinct approaches to modeling robotic behavior: imperative Behavior Trees (BTs) and declarative Executable Ontologies (EO), implemented through the boldsea framework. BTs structure behavior hierarchically using…

Robotics · Computer Science 2025-11-20 Alexander Boldachev

In this paper, we present a toolchain to design, execute, and verify robot behaviors. The toolchain follows the guidelines defined by the EU H2020 project RobMoSys and encodes the robot deliberation as a Behavior Tree (BT), a directed tree…

The Industry 4.0 paradigm manifests the shift towards mass customization and cyber-physical production systems (CPPS) and sets new requirements for industrial automation software in terms of modularity, flexibility, and short development…

Software Engineering · Computer Science 2024-04-23 Aleksandr Sidorenko , Mahdi Rezapour , Achim Wagner , Martin Ruskowski

Behavior trees (BTs) emerged from video game development as a graphical language for modeling intelligent agent behavior. However as initially implemented, behavior trees are static plans. This paper adds to recent literature exploring the…

Robotics · Computer Science 2016-07-01 Blake Hannaford , Danying Hu , Dianmu Zhang , Yangming Li

Behavior Trees are a task switching policy representation that can grant reactiveness and fault tolerance. Moreover, because of their structure and modularity, a variety of methods can be used to generate them automatically. In this short…

Robotics · Computer Science 2023-01-18 Matteo Iovino , Christian Smith

We propose a hybrid combination of active inference and behavior trees (BTs) for reactive action planning and execution in dynamic environments, showing how robotic tasks can be formulated as a free-energy minimization problem. The proposed…

Robotics · Computer Science 2022-11-28 Corrado Pezzato , Carlos Hernandez Corbato , Stefan Bonhof , Martijn Wisse

Modern manufacturing demands robotic assembly systems with enhanced flexibility and reliability. However, traditional approaches often rely on programming tailored to each product by experts for fixed settings, which are inherently…

Robotics · Computer Science 2025-09-23 Xiwei Zhao , Yiwei Wang , Yansong Wu , Fan Wu , Teng Sun , Zhonghua Miao , Sami Haddadin , Alois Knoll

In recent years, robots are used in an increasing variety of tasks, especially by small- and medium- sized enterprises. These tasks are usually fast-changing, they have a collaborative scenario and happen in unpredictable environments with…

Robotics · Computer Science 2022-03-11 Matteo Iovino , Fethiye Irmak Doğan , Iolanda Leite , Christian Smith

This paper presents an innovative exploration of the application potential of large language models (LLM) in addressing the challenging task of automatically generating behavior trees (BTs) for complex tasks. The conventional manual BT…

Computation and Language · Computer Science 2024-01-17 Fu Li , Xueying Wang , Bin Li , Yunlong Wu , Yanzhen Wang , Xiaodong Yi

Numerous computer systems use dynamic control and data structures of unbounded size. These data structures have often the character of trees or they can be encoded as trees with some additional pointers. This is exploited by some currently…

Formal Languages and Automata Theory · Computer Science 2012-04-17 Ondřej Lengál