DOI,IST REx ID,Research Group,Title of publication
10.3390/g9030039,6006,ToHe,An abstraction-refinement methodology for reasoning about network games