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

Shared expectations and mutual understanding are critical facets of teamwork. Achieving
these in human-robot collaborative contexts can be especially challenging, as humans and …

Multi-robot planning (mrp) aims at computing plans, each in the form of a sequence of
actions, for a team of robots to achieve their individual goals, while minimizing overall cost …

Multirobot symbolic planning (MSP) aims at computing plans, each in the form of a
sequence of actions, for a team of robots to achieve their individual goals while minimizing …

Coordinating a team of robots to fulfill a common task is still a demanding problem. This is
even more the case when considering uncertainty in the environment, as well as temporal …

By performing synthesis from formal high-level mission specifications, we can obtain robot
controllers that are guaranteed to operate correctly under the specified environment …

Whether robot controllers are manually designed or synthesized from high-level task
specifications, assumptions about the environment need to be made, which can involve …

We consider multiple robots operating in a shared workspace, each given a high-level task
specification in the form of Linear Temporal Logic (LTL) formulas. The robots have no a …

In formal synthesis of reactive systems an implementation of a system is automatically
constructed from its formal specification. The great advantage of synthesis is that the …

The quest of AI and Robotics researchers to realize fully AI-driven integrated robotic systems
has not yet led to such realizations, in spite of great attainments in both research areas. This …