31 citations · 85 across the 19 of their papers we have counts for
4 papers · 1 filter
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…
Proceedings of the 13th International Workshop on Formal Engineering Approaches to Software Components and Architectures
Jana Kofroň, Jana Tumova, Bara Buhnova
The aim of the FESCA workshop is to bring together junior researchers from formal methods, software engineering, and industry interested in the development and application of forma…
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…