GOAL for Games, Omega-Automata, and Logics.

Ming-Hsien Tsai Yih-Kuen Tsay Yu-Shiang Hwang

Published in: CAV (2013)

Keyphrases

game theory
expressive power
video games
cellular automata
finite state
classical logic
proof theory
learning algorithm
knowledge representation
computer games
modal logic
nash equilibrium
nash equilibria
coalitional games