Compositional Synthesis of Reactive Controllers for Multi-agent Systems.
Rajeev AlurSalar MoarrefUfuk TopcuPublished in: CAV (2) (2016)
Keyphrases
- multi agent systems
- agent architecture
- controller synthesis
- cooperative
- multi agent
- autonomous agents
- game theory
- reinforcement learning
- agent systems
- agent platform
- program synthesis
- intelligent agents
- database
- agent technology
- reactive planning
- software agents
- power system
- control system
- texture synthesis
- coalition formation
- iterative learning control
- agent oriented
- information systems
- computational logic
- control strategy
- normative systems
- control strategies
- search algorithm
- data sets