Title :
Algorithm for Solving Games
Author :
Gong, Wei ; Xie, Fei
Author_Institution :
Dept. of Electron. & Inf., Tianjin Inst. of Urban Constr. Tianjin China, Tianjin, China
Abstract :
Games are a way to represent the verification problem. In this paper we represent a verification problem as a game and solve the game especially a weak game. We represent an algorithm to solve a weak game. We will research this algorithms on an experiment, indicated a weak game.
Keywords :
game theory; game theory; Computational modeling; Computer simulation; Games; algorithm; even; odd; weak-game; win;
Conference_Titel :
Computer Modeling and Simulation, 2010. ICCMS '10. Second International Conference on
Conference_Location :
Sanya, Hainan
Print_ISBN :
978-1-4244-5642-0
Electronic_ISBN :
978-1-4244-5643-7
DOI :
10.1109/ICCMS.2010.72
