A receding horizon approach to multi-agent planning from local LTL specifications.
Jana TumovaDimos V. DimarogonasPublished in: ACC (2014)
Keyphrases
- multi agent planning
- receding horizon
- bounded model checking
- optimal linear
- air traffic control
- model checking
- multi agent
- partial observability
- temporal logic
- formation control
- unmanned aerial vehicles
- agent programming
- multi agent systems
- operational semantics
- search space
- neural network
- intelligent agents
- decision making