Synthesis of Distributed Control and Communication Schemes from Global LTL Specifications

Yushan Chen Xu Chu Ding Calin Belta

Published in: CoRR (2011)

Keyphrases

distributed control
cooperative
bounded model checking
autonomous agents
multi agent
control architecture
multi agent reinforcement learning
model checking
transition systems
temporal logic
formal verification
real time
machine learning
control system
information exchange