Abstract Recently, Multi-Robot Systems (MRS) have attained considerable recognition
because of their efficiency and applicability in different types of real-life applications. This …

With many applications across domains as diverse as logistics, healthcare, and agriculture,
service robots are in increasingly high demand. Nevertheless, the designers of these robots …

To enable safe and efficient use of multi-robot systems in everyday life, a robust and fast
method for coordinating their actions must be developed. In this paper, we present a …

This paper presents a distributed strategy for automatically synthesizing controls for robotic
swarms such that they achieve reactive, high-level formation tasks. In our framework, a user …

Safety is crucial for robotic missions within an uncertain environment. Common safety
requirements such as collision avoidance are only state-dependent, which can be restrictive …

Given a temporal behavior specification and a team of agents available for execution in a
stochastic environment, it is still an open problem how to efficiently decompose and allocate …

Planning for multi-robot coordination during long horizon missions in complex environments
need to consider resources, temporal constraints, and uncertainty. This could be …

As autonomous systems are deployed at a large scale in both public and private spaces,
robots owned and operated by competing organisations will be required to interact …

Sharing scarce resources is a key challenge in multi-agent interaction, especially when
individual agents are uncertain about their future consumption. We present a new auction …

We address multi-robot safe mission planning in uncertain dynamic environments. This
problem arises in safety-critical exploration, surveillance, and emergency rescue missions …