Max-SAT-based synthesis of optimal and Nash equilibrium strategies for multi-agent systems.

Nils Timm Josua Botha Steven Jordaan

Published in: Sci. Comput. Program. (2023)

Keyphrases

equilibrium strategies
multi agent systems
nash equilibrium
game theory
game theoretic
decision making
multi agent
cooperative
dynamic programming
optimal solution
coalition formation
pareto optimal
nash equilibria
electronic markets