[HTML][HTML] A survey of behavior trees in robotics and ai

M Iovino, E Scukins, J Styrud, P Ögren… - Robotics and Autonomous …, 2022 - Elsevier
Abstract Behavior Trees (BTs) were invented as a tool to enable modular AI in computer
games, but have received an increasing amount of attention in the robotics community in the …

On modularity in reactive control architectures, with an application to formal verification

O Biggar, M Zamani, I Shames - ACM Transactions on Cyber-Physical …, 2022 - dl.acm.org
Modularity is a central principle throughout the design process for cyber-physical systems.
Modularity reduces complexity and increases reuse of behavior. In this article we pose and …

A framework for formal verification of behavior trees with linear temporal logic

O Biggar, M Zamani - IEEE Robotics and Automation Letters, 2020 - ieeexplore.ieee.org
Despite the current increasing popularity of Behavior Trees (BTs) in the robotics community,
there does not currently exist a method to formally verify their correctness without …

Handling concurrency in behavior trees

M Colledanchise, L Natale - IEEE Transactions on Robotics, 2021 - ieeexplore.ieee.org
This article addresses the concurrency issues affecting behavior trees (BTs), a popular tool
to model the behaviors of autonomous agents in the video game and the robotics industry …

A Study on Training and Developing Large Language Models for Behavior Tree Generation

F Li, X Wang, B Li, Y Wu, Y Wang, X Yi - arXiv preprint arXiv:2401.08089, 2024 - arxiv.org
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 …

Using behavior trees for coordination of skills in modular reconfigurable CPPMs

A Sidorenko, J Hermann… - 2022 IEEE 27th …, 2022 - ieeexplore.ieee.org
A skill-based engineering approach uses the concept of skill to abstract machine-specific
functionality with a generic interface and common behavior. A skill is treated as a" control …

Applying Behavior characteristics to decision-making process to create believable game AI

A Simonov, A Zagarskikh, V Fedorov - Procedia Computer Science, 2019 - Elsevier
With the development of artificial intelligence in computer games the problem of creating
characters with believable and diverse behavior to inhabit in-game worlds becomes more …

BehaVerify: verifying temporal logic specifications for behavior trees

SS Serbinowska, TT Johnson - International Conference on Software …, 2022 - Springer
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 …

Extending behavior trees for representing and planning robot adjoint actions in partially observable environments

S Yang, X Mao, S Wang, Y Bai - Journal of Intelligent & Robotic Systems, 2021 - Springer
Abstract Behavior Trees (BTs) have received increasing popularity in the robotics
community, serving as an efficient way of modeling robot behavior and structuring behavior …

Analysis and exploitation of synchronized parallel executions in behavior trees

M Colledanchise, L Natale - 2019 IEEE/RSJ International …, 2019 - ieeexplore.ieee.org
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 …