Login / Signup
SMC: synthesis of uniform strategies and verification of strategic ability for multi-agent systems.
Jerzy Pilecki
Marek A. Bednarczyk
Wojciech Jamroga
Published in:
J. Log. Comput. (2017)
Keyphrases
</>
multi agent systems
distributed search
case study
game theory
search strategies
model checking
multi agent
texture synthesis
optimal strategy
asynchronous circuits
coordination mechanisms
data sets
decision making
knowledge management
formal verification
multi agent reinforcement learning