The Rabin Index of Parity Games - (Extended Abstract).
Michael HuthJim Huan-Pu KuoNir PitermanPublished in: Haifa Verification Conference (2011)
Keyphrases
- extended abstract
- error correction
- computer games
- video games
- educational games
- game design
- weighted voting games
- leader follower
- game theoretic
- game playing
- serious games
- b tree
- index structure
- search algorithm
- structural similarity
- online game
- digital games
- game development
- learning agents
- monte carlo tree search
- multi agent systems