Multi-Agent Strategy Synthesis for LTL Specifications through Assumption Composition.
Georg Friedrich SchuppeJana TumovaPublished in: CASE (2020)
Keyphrases
- multi agent
- bounded model checking
- model checking
- temporal logic
- reinforcement learning
- cooperative
- transition systems
- search strategy
- heterogeneous agents
- concurrent systems
- agent oriented
- coalition formation
- texture synthesis
- intelligent agents
- high level
- data sets
- linear temporal logic
- leader follower
- team formation
- model checker
- web service composition
- multiple agents
- logic programs
- machine learning