Specification-Guided Learning of Nash Equilibria with High Social Welfare
Authors: Kishor Jothimurugan, Suguman Bansal, Osbert Bastani and Rajeev Alur
Paper Information
| Title: | Specification-Guided Learning of Nash Equilibria with High Social Welfare |
| Authors: | Kishor Jothimurugan, Suguman Bansal, Osbert Bastani and Rajeev Alur |
| Proceedings: | CAV 2022 All Papers |
| Editors: | Yakir Vizel, Sharon Shoham and Hari Govind Vediramana Krishnan |
| Keywords: | Reinforcement Learning, Synthesis, Statistical Verification |
| Pages: | 21 |
| Talk: | Aug 10 14:00 (Session 115A: Machine Learning) |
| Paper: |  |