• DocumentCode
    1598848
  • 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
  • Volume
    1
  • fYear
    2010
  • Firstpage
    411
  • Lastpage
    413
  • 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;
  • fLanguage
    English
  • Publisher
    ieee
  • 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
  • Type

    conf

  • DOI
    10.1109/ICCMS.2010.72
  • Filename
    5421360
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=1598848