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

Jana Tumova Dimos V. Dimarogonas

Published in: CoRR (2014)

Keyphrases

multi agent planning
receding horizon
bounded model checking
air traffic control
optimal linear
multi agent
model checking
formation control
temporal logic
partial observability
multi agent systems
agent programming
unmanned aerial vehicles
collision avoidance
operational semantics
mobile robot
knowledge base