Login / Signup
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