Model-Checking Iterated Games



Huang, Chung-Hao, Schewe, Sven ORCID: 0000-0002-9093-9518 and Wang, Farn
(2013) Model-Checking Iterated Games. .

[img] Text
paper_240.pdf - Submitted Version

Download (253kB)
Item Type: Conference or Workshop Item (Unspecified)
Depositing User: Symplectic Admin
Date Deposited: 22 Feb 2017 10:38
Last Modified: 23 Aug 2021 11:17
Related URLs:
URI: https://livrepository.liverpool.ac.uk/id/eprint/3005469