Model-checking iterated games

Journal

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Journal Volume

7795 LNCS

Pages

154-168

Date Issued

2013

Author(s)

Huang, C.-H.

Schewe, S.

DOI

URI

URL

Type

conference paper