DOI,IST REx ID,Research Group,Title of publication
10.24963/ijcai.2017/11,1003,ToHe,An abstraction-refinement methodology for reasoning about network games