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 …

Industrial robots can solve tasks in controlled environments, but modern applications require
robots able to operate also in unpredictable surroundings. An increasingly popular reactive …

We present a task-and-motion planning (TAMP) algorithm robust against a human operator's
cooperative or adversarial interventions. Interventions often invalidate the current plan and …

This paper proposes a novel human-aware method that generates robot plans for
autonomous and human-robot cooperative tasks in industrial environments. We modify the …

Multirobot and multiagent systems demonstrate collective (swarm) intelligence through
systematic and distributed integration of local behaviors in a group. Agents sharing …

Behavior Trees (BTs) constitute a widespread artificial intelligence tool that has been
successfully adopted in robotics. Their advantages include simplicity, modularity, and …

Abstract Behavior Trees (BTs) are a formalism increasingly used to control the execution of
robotic systems. The strength of BTs resides in their compact, hierarchical and transparent …

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 …

In this paper, we enable automated property verification of deliberative components in robot
control architectures. We focus on formalizing the execution context of Behavior Trees (BTs) …

Abstract Behavior Trees (BTs) have received increasing popularity in the robotics
community, serving as an efficient way of modeling robot behavior and structuring behavior …