Jothimurugan, K., Bansal, S., Bastani, O., and Alur, R. Specification-Guided Learning of Nash Equilibria with High Social Welfare. Retrieved from https://par.nsf.gov/biblio/10349591. Computer Aided Verification - 34th International Conference, {CAV}, 2022, Proceedings, Part II LNCS 13372. Web. doi:10.1007/978-3-031-13188-2_17.

Jothimurugan, K., Bansal, S., Bastani, O., & Alur, R. Specification-Guided Learning of Nash Equilibria with High Social Welfare. Computer Aided Verification - 34th International Conference, {CAV}, 2022, Proceedings, Part II, LNCS 13372 (). Retrieved from https://par.nsf.gov/biblio/10349591. https://doi.org/10.1007/978-3-031-13188-2_17

Jothimurugan, K., Bansal, S., Bastani, O., and Alur, R. "Specification-Guided Learning of Nash Equilibria with High Social Welfare". Computer Aided Verification - 34th International Conference, {CAV}, 2022, Proceedings, Part II LNCS 13372 (). Country unknown/Code not available. https://doi.org/10.1007/978-3-031-13188-2_17. https://par.nsf.gov/biblio/10349591.

@article{osti_10349591,
place = {Country unknown/Code not available}, title = {Specification-Guided Learning of Nash Equilibria with High Social Welfare}, url = {https://par.nsf.gov/biblio/10349591}, DOI = {10.1007/978-3-031-13188-2_17}, abstractNote = {}, journal = {Computer Aided Verification - 34th International Conference, {CAV}, 2022, Proceedings, Part II}, volume = {LNCS 13372}, author = {Jothimurugan, K. and Bansal, S. and Bastani, O. and Alur, R.}, }