Games with Secure Equilibria,

Formal Methods for Components and Objects - Lecture Notes in Computer Science ◽

10.1007/11561163_7 ◽

2005 ◽

pp. 141-161 ◽

Cited By ~ 2

Author(s):

Krishnendu Chatterjee ◽

Thomas A. Henzinger ◽

Marcin Jurdziński

Download Full-text