Synthesis of distributed control and communication schemes from global LTL specifications.

Yushan Chen Xu Chu Ding Calin Belta

Published in: CDC/ECC (2011)

Keyphrases

distributed control
bounded model checking
cooperative
autonomous agents
control architecture
multi agent
model checking
multi agent reinforcement learning
temporal logic
linear temporal logic
dynamic environments
transition systems
machine learning
program synthesis