A Game Logic Specification Proposal for 2D Video Games.
Carlos Marín-LoraMiguel ChoverJosé Martínez SotocaPublished in: WorldCIST (1) (2020)
Keyphrases
- winning strategy
- game play
- computer games
- video games
- game playing
- game theory
- game theoretic
- nash equilibria
- nash equilibrium
- game design
- perfect information
- educational games
- game players
- game development
- asynchronous circuits
- game based learning
- digital games
- online game
- learning games
- game programming
- monte carlo tree search
- serious games
- coalitional games
- imperfect information
- game tree search
- board game
- two player games
- games played
- human computation
- linear temporal logic
- cooperative game
- stochastic games
- adventure game
- pure nash equilibria
- multi player
- extensive form games
- general game playing
- simulation game
- state machine
- transition systems
- human players
- formal language
- mobile games
- game tree
- game engine
- modal logic
- solution concepts
- proof procedures
- computer poker
- game mechanics
- repeated games
- boolean games
- opponent modeling
- pure strategy
- minority game
- table tennis
- idea generation
- formal specification
- multi agent systems
- equilibrium strategies
- card game
- operational semantics
- logic programming
- incomplete information
- evaluation function
- leader follower
- transferable utility
- monte carlo
- game ai
- learning experience
- active rules