Specification-Guided Learning of Nash Equilibria with High Social Welfare.

Kishor Jothimurugan Suguman Bansal Osbert Bastani Rajeev Alur

Published in: CAV (2) (2022)

Keyphrases

nash equilibria
stochastic games
learning algorithm
reinforcement learning
multiagent learning
game theory
incomplete information
special case
utility function
social welfare