Toward a Formal Foundation for Time Travel in Stories and Games.
Michiel HelvensteijnFarhad ArbabPublished in: Theory and Practice of Formal Methods (2016)
Keyphrases
- computer games
- game playing
- game theory
- video games
- educational games
- game theoretic
- nash equilibria
- interactive storytelling
- nash equilibrium
- game design
- perfect information
- games played
- real time
- narrative structure
- two player games
- human computation
- digital games
- genetic algorithm
- personal experiences
- neural network