_id,doi,title
6006,10.3390/g9030039,An abstraction-refinement methodology for reasoning about network games