Efficiently coordinating different types of robots is an important enabler for many commercial
and industrial automation tasks. Here, we present a distributed framework that enables a …

In this paper, we address the safety of data-driven control for contact-rich manipulation. We
propose to restrict the controller's action space to keep the system in a set of safe states. In …

Unknown properties of a robot's environment are one of the sources of uncertainty in
autonomous navigation. This uncertainty has to be accounted for when modelling robot …

We propose a sampling-based motion planning algorithm for systems with complex
dynamics and temporal logic specifications allowing to tackle sophisticated missions. By …

In this paper, we introduce a hybridization-based feedback control synthesis method for
potentially unstable nonlinear continuous-time systems. We construct a discretization and …

Over the last decade, autonomous vehicles has received an increasing amount of interest
from industries and research institutes. For autonomous vehicles to properly function …

In this work, we combine a sampling based motion planner with path non-existence
verification. We show that, using our approach, it is possible to: 1) provide termination …