A Receding Horizon Approach to Multi-Agent Planning from Local LTL Specifications

17 March 2014

Jana Tumova

Papers citing "A Receding Horizon Approach to Multi-Agent Planning from Local LTL Specifications"

2 / 2 papers shown

Title
Attraction-Based Receding Horizon Path Planning with Temporal Logic Constraints María Svorenová Jana Tumova J. Barnat I. Cerná 54 20 0 29 Aug 2012
Multi-robot Deployment From LTL Specifications with Reduced Communication Marius Kloetzer X. Ding C. Belta 77 57 0 16 Aug 2011