Applying reactive synthesis in practice often requires modifications of the synthesis
algorithm in order to obtain useful implementations. We present slugs, a generalized …

In the near future mobile robots, such as personal robots or mobile manipulators, will share
the workspace with other robots and humans. We present a method for mission and motion …

A crucial aspect of physical human-robot collaboration (HRC) is to maintain a safe common
workspace for human operator. However, close proximity between human-robot and …

The increased interest in reactive synthesis over the last decade has led to many improved
solutions but also to many new questions. In this paper, we discuss the question of how to …

This paper describes a holistic method for automatically synthesizing controllers for a team
of robots operating in an environment shared with other agents. The proposed approach …

This study introduces a robust planning framework that utilizes a model predictive control
(MPC) approach, enhanced by incorporating signal temporal logic (STL) specifications. This …

Complex robot behaviors are often structured as state machines, where states encapsulate
actions and a transition function switches between states. Since transitions depend on …

We define the GXW fragment of linear temporal logic (LTL) as the basis for synthesizing
embedded control software for safety-critical applications. Since GXW includes the use of a …

Reactive synthesis is an automated procedure to obtain a correct-by-construction reactive
system from its temporal logic specification. GR (1) is an expressive assume-guarantee …

Reactive synthesis guarantees correct-by-construction controllers from logical specifications,
but is costly—2EXPTIME-complete in the size of the specification. In a practical setting, the …