Sign in
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