Finitary winning in omega-regular games.
Krishnendu ChatterjeeThomas A. HenzingerFlorian HornPublished in: ACM Trans. Comput. Log. (2009)
Keyphrases
- finite state
- human players
- computer games
- simulation game
- game theory
- nash equilibria
- video games
- educational games
- database
- game playing
- game theoretic
- serious games
- game design
- case study
- multi agent
- game development
- real time
- answer set programming
- online game
- game tree
- repeated games
- game tree search
- learning games
- game players
- dynamic programming