Model-checking iterated games
scientific article; zbMATH DE number 6798468
scientific article