Reachability analysis consists in computing the set of states that are reachable by a
dynamical system from all initial states and for all admissible inputs and parameters. It is a …

A bstract The omnidirectional drive is a popular challenging trend in today's mobile robotics
where different areas such as swarm, humanoid, legged, train-based, underwater, air flying …

Machine learning approaches often lack safety guarantees, which are often a key
requirement in real-world tasks. This paper addresses the lack of safety guarantees by …

Action anticipation, intent prediction, and proactive behavior are all desirable characteristics
for autonomous driving policies in interactive scenarios. Paramount, however, is ensuring …

An outstanding challenge with safety methods for human-robot interaction is reducing their
conservatism while maintaining robustness to variations in human behavior. In this work, we …

This paper investigates the ability to use complex multi-mobile robotic systems in risky and
dynamic environments, such as industrial plants and laboratories, with the presence of the …

Industrial robots cannot be reconfigured to optimally fulfill a given task and often have to be
caged to guarantee human safety. Consequently, production processes are meticulously …

Set-based predictions can ensure the safety of planned motions, since they provide a
bounded region which includes all possible future states of nondeterministic models of other …

As autonomous robots increasingly become part of daily life, they will often encounter
dynamic environments while only having limited information about their surroundings …

Strategies for safe human-robot interaction (HRI), such as the well-established Safe Motion
Unit, provide a velocity scaling for biomechanically safe robot motion. In addition …