Model-Checking Iterated Games.

Chung-Hao Huang, Sven Schewe, Farn Wang

Browse the full TACAS paper archive.