Huang, C.-H.C.-H.HuangSchewe, S.S.ScheweFARN WANG2020-06-042020-06-042013https://scholars.lib.ntu.edu.tw/handle/123456789/497136[SDGs]SDG17Model-checking iterated gamesconference paper10.1007/978-3-642-36742-7_112-s2.0-84874422431https://www.scopus.com/inward/record.uri?eid=2-s2.0-84874422431&doi=10.1007%2f978-3-642-36742-7_11&partnerID=40&md5=2996de0d2ec66956d2f4852efc002052