Robust Multi-Agent Coordination from CaTL+ Specifications.

Wenliang Liu Kevin Leahy Zachary Serlin Calin Belta

Published in: CoRR (2022)

Keyphrases

multi agent coordination
multiple agents
partial occlusion
cooperative
np hard
domain specific
high level
dynamic environments