A receding horizon approach to multi-agent planning from LTL specifications (2014)

by J Tumova, D V Dimarogonas
Venue:American Control Conference (ACC