Browse by People


Up a level
Export as [feed] RSS [feed] RSS 2.0 Short Author List
Number of items: 2.


Huang, Chung-Hao, Schewe, Sven ORCID: 0000-0002-9093-9518 and Wang, Farn
(2013) Model-Checking Iterated Games. In: Tools and Algorithms for the Construction and Analysis of Systems, Rome, Italy.


Huang, Chung-Hao, Schewe, Sven ORCID: 0000-0002-9093-9518 and Wang, Farn
(2017) Model-checking iterated games. ACTA INFORMATICA, 54 (7). pp. 625-654.

This list was generated on Sun Mar 17 12:35:57 2024 GMT.