31 citations · 85 across the 19 of their papers we have counts for
8 papers · 1 filter
On the Timed Temporal Logic Planning of Coupled Multi-Agent Systems
Alexandros Nikou, Dimitris Boskos, Jana Tumova +1
This paper presents a fully automated procedure for controller synthesis for multi-agent systems under coupling constraints. Each agent is modeled with dynamics consisting of two t…
Probabilistic Plan Synthesis for Coupled Multi-Agent Systems
Alexandros Nikou, Jana Tumova, Dimos V. Dimarogonas
This paper presents a fully automated procedure for controller synthesis for multi-agent systems under the presence of uncertainties. We model the motion of each of the agents…
Multi-Agent Planning under Local LTL Specifications and Event-Based Synchronization
Jana Tumova, Dimos V. Dimarogonas
We study the problem of plan synthesis for multi-agent systems, to achieve complex, high-level, long-term goals that are assigned to each agent individually. As the agents might no…
Decomposition of Multi-Agent Planning under Distributed Motion and Task LTL Specifications
Jana Tumova, Dimos V. Dimarogonas
The aim of this work is to introduce an efficient procedure for discrete multi-agent planning under local complex temporal logic behavior specifications. While the first part of an…
Cooperative Planning for Coupled Multi-Agent Systems under Timed Temporal Specifications
Alexandros Nikou, Dimitris Boskos, Jana Tumova +1
This paper presents a fully automated procedure for controller synthesis for multi-agent systems under coupled constraints. Each agent has dynamics consisting of two terms: the fir…
Synthesizing least-limiting guidelines for safety of semi-autonomous systems
Jana Tumova, Dimos V. Dimarogonas
We consider the problem of synthesizing safe-by-design control strategies for semi-autonomous systems. Our aim is to address situations when safety cannot be guaranteed solely by t…