Up a level |
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.