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

Kishor Jothimurugan, Suguman Bansal, Osbert Bastani, Rajeev Alur

Browse the full CAV paper archive.