Decomposition of Multi-Agent Planning under Distributed Motion and Task LTL Specifications.

Jana Tumova Dimos V. Dimarogonas

Published in: CoRR (2016)

Keyphrases

multi agent planning
multi agent
bounded model checking
partial observability
temporal logic
model checking
cooperative
distributed systems
search algorithm
agent programming