The control of a multiple unmanned aerial vehicle (UAV) system is popular and attracting a
lot of attentions. This is motivated by many practical civil and commercial UAV applications …

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 …

This paper describes current work on framing the model predictive control (MPC) of cyber-
physical systems as synthesis from signal temporal logic (STL) specifications. We provide a …

One of the most challenging tasks for a flying robot is to autonomously navigate between
target locations quickly and reliably while avoiding obstacles in its path, and with little to no a …

We present a counterexample-guided inductive synthesis approach to controller synthesis
for cyber-physical systems subject to signal temporal logic (STL) specifications, operating in …

We present a reinforcement learning (RL) frame-work to synthesize a control policy from a
given linear temporal logic (LTL) specification in an unknown stochastic environment that …

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

Task and motion planning (TAMP) integrates high-level task planning and low-level motion
planning to equip robots with the autonomy to effectively reason over long-horizon, dynamic …

In control theory, complicated dynamics such as systems of (nonlinear) differential equations
are controlled mostly to achieve stability. This fundamental property, which can be with …

This article answers fundamental safety questions for ground robot navigation: under which
circumstances does which control decision make a ground robot safely avoid obstacles …