Distributed Control Design and Safety Verification for Multi-Agent Systems.

Han Wang Antonis Papachristodoulou Kostas Margellos

Published in: CoRR (2023)

Keyphrases

multi agent systems
distributed control
learning algorithm
model checking
design process
multi agent
computer vision
formal methods
multi agent reinforcement learning
agent platform
cooperative
control system
game theory
agent architecture
agent oriented
real time
functional verification