Avni, Guy, et al. “An Abstraction-Refinement Methodology for Reasoning about Network Games.”10.3390/g9030039__Games, vol. 9, no. 3, 39, MDPI AG, 2018, doi:10.3390/g9030039.
LibreCat: https://research-explorer.ista.ac.at/record/6006
DOI: 10.3390/g9030039