Robot control for tasks such as moving around obstacles or gras** objects has advanced
significantly in the last few decades. However, controlling robots to perform complex tasks is …

In recent years, formal methods have been extensively used in the design of autonomous
systems. By employing mathematically rigorous techniques, formal methods can provide …

We propose a new specification language and control synthesis technique for single and
multi-robot high-level tasks; these tasks include timing constraints and reaction to …

We present a framework for mobile service robot task planning and execution, based on the
use of probabilistic verification techniques for the generation of optimal policies with …

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 …

We present a method to specify tasks and synthesise cost-optimal policies for Markov
decision processes using co-safe linear temporal logic. Our approach incorporates a …

In this article, we propose a framework for the control of mobile robots subject to temporal
logic specifications using barrier functions. Complex task specifications can be conveniently …

Urban air mobility (UAM) refers to air transportation services within an urban area, often in
an on-demand fashion. We study air traffic management (ATM) for vehicles in a UAM fleet …

This paper develops an automatic online Behavior Tree (BT) synthesis and execution
technique to guide an autonomous agent to accomplish a series of missions expressed in …

When humans and robots perform complex tasks together, the robot must have a strategy to
choose its actions based on observed human behavior. One well-studied approach for …