1. Repairing multi-player games;Almagor,2015
2. Alternating-time temporal logic;Alur;J. ACM,2002
3. The price of stability for network design with fair cost allocation;Anshelevich;SIAM J. Comput.,2008
4. Acceptable points in games of perfect information;Aumann,1959
5. An abstraction-refinement methodology for reasoning about network games;Avni,2017