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 …

We present a computational framework for automatic synthesis of control and
communication strategies for a robotic team from task specifications that are given as regular …

ABSTRACT Multi Agent Path Finding (MAPF) is the problem of planning paths for agents to
reach their targets from their start locations, such that the agents do not collide while …

The design of mobile autonomous robots is challenging due to the limited on-board
resources such as processing power and energy. A promising approach is to generate …

Autonomous robots are increasingly utilized in realistic scenarios with multiple complex
tasks. In these scenarios, there may be a preferred way of completing the tasks, but it is often …

This paper proposes a framework for learning task specifications from demonstrations, while
ensuring that the learned specifications do not violate safety constraints. Furthermore, we …

We explore the complex design space of behaviour planning for autonomous driving.
Design choices that successfully address one aspect of behaviour planning can critically …

Rapid advances in every sphere of autonomous driving technology have intensified the
need to be able to benchmark and compare different approaches. While many …

This paper describes the synthesis of correct robot control from high-level tasks that include
non-projective locative prepositions. Here, locative prepositions such asnear'andbetween' …

Cyber-physical systems integrate computation, networking, and physical processes.
Substantial research challenges exist in the design and verification of such large-scale …