Saturating automata for game semantics.

Alex Dixon Andrzej S. Murawski

Published in: CoRR (2023)

Keyphrases

logic programming
game theory
formal semantics
computer games
semantic information
video games
game design
game play
educational games
cooperative game
regular expressions
virtual world
nash equilibrium
cellular automata
finite state
optimal strategy
game based learning
cooperative