31 citations · 85 across the 19 of their papers we have counts for
Showing 2017Show all
3 papers · 1 filter
eess.SY2017
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…
eess.SY2017★ 3 cited
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…
cs.SE2017
Proceedings International Workshop on Formal Engineering approaches to Software Components and Architectures
Jan Kofroň, Jana Tumova
These are the proceedings of the 14th International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA). The workshop was held on April 22, 2…