Huang, C.-H.C.-H.HuangSchewe, S.S.ScheweFARN WANG2020-06-042020-06-042017https://scholars.lib.ntu.edu.tw/handle/123456789/497142Model-checking iterated gamesjournal article10.1007/s00236-016-0277-y2-s2.0-84982150875https://www.scopus.com/inward/record.uri?eid=2-s2.0-84982150875&doi=10.1007%2fs00236-016-0277-y&partnerID=40&md5=943066a090ea76559e8189d9b03a048c