Robust Multi-Agent Coordination from CaTL+ Specifications.

Wenliang Liu Kevin Leahy Zachary Serlin Calin Belta

Published in: ACC (2023)

Keyphrases

multi agent coordination
robust estimation
high level
general purpose
multiple agents
image sequences
lower bound
computationally efficient
decision problems
delay insensitive