31 citations · 85 across the 19 of their papers we have counts for
Showing 2014Show all
3 papers · 1 filter
cs.MA2014
Communication-Free Multi-Agent Control under Local Temporal Tasks and Relative-Distance Constraints
Meng Guo, Jana Tumova, Dimos V. Dimarogonas
We propose a distributed control and coordination strategy for multi-agent systems where each agent has a local task specified as a Linear Temporal Logic (LTL) formula and at the s…
eess.SY2014★ 3 cited
Cooperative Decentralized Multi-agent Control under Local LTL Tasks and Connectivity Constraints
Meng Guo, Jana Tumova, Dimos V. Dimarogonas
We propose a framework for the decentralized control of a team of agents that are assigned local tasks expressed as Linear Temporal Logic (LTL) formulas. Each local LTL task specif…
cs.RO2014
A Receding Horizon Approach to Multi-Agent Planning from Local LTL Specifications
Jana Tumova, Dimos V. Dimarogonas
We study the problem of control synthesis for multi-agent systems, to achieve complex, high-level, long-term goals that are assigned to each agent individually. As the agents might…