8 citations · 8 across the 2 of their papers we have counts for
Showing cs.ROShow all
2 papers · 1 filter
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…
cs.RO2010★ 8 cited
Optimal Path Planning under Temporal Logic Constraints
Stephen L. Smith, Jana Tumova, Calin Belta +1
In this paper we present a method for automatically generating optimal robot trajectories satisfying high level mission specifications. The motion of the robot in the environment i…