公開日期 | 標題 | 作者 | 來源出版物 | scopus | WOS | 全文 |
2015 | Complexity of node coverage games | Wang, F.; Schewe, S.; Wu, J.-H.; FARN WANG | Theoretical Computer Science | | | |
2015 | An extension of ATL with strategy interaction | Wang, F.; Schewe, S.; Huang, C.-H.; FARN WANG | ACM Transactions on Programming Languages and Systems | | | |
2016 | A Game-Theoretic Foundation for the Maximum Software Resilience against Dense Errors | Huang, C.-H.; Peled, D.A.; Schewe, S.; FARN WANG | IEEE Transactions on Software Engineering | | | |
2013 | Model-checking iterated games | Huang, C.-H.; Schewe, S.; FARN WANG | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | | | |
2017 | Model-checking iterated games | Huang, C.-H.; Schewe, S.; FARN WANG | Acta Informatica | | | |
2012 | Rapid recovery for systems with scarce faults | Huang, C.-H.; Peled, D.; Schewe, S.; FARN WANG | Electronic Proceedings in Theoretical Computer Science, EPTCS | 3 | 0 | |