Decentralized multi-agent control from local LTL specifications.
Ioannis FilippidisDimos V. DimarogonasKostas J. KyriakopoulosPublished in: CDC (2012)
Keyphrases
- multi agent
- bounded model checking
- cooperative
- control system
- reinforcement learning
- intelligent agents
- autonomous agents
- control method
- control strategy
- high level
- single agent
- agent oriented
- model checking
- learning algorithm
- distributed systems
- formal specification
- reactive systems
- transition systems
- linear temporal logic
- knowledge base