G. Avni, S. Guha, and O. Kupferman, “An abstraction-refinement methodology for reasoning about network games,” Games, vol. 9, no. 3. MDPI AG, 2018.
LibreCat: https://research-explorer.ista.ac.at/record/6006
DOI: 10.3390/g9030039