On Succinctness and Recognisability of Alternating Good-for-Games Automata.
Udi BokerDenis KuperbergKaroliina LehtinenMichal SkrzypczakPublished in: CoRR (2020)
Keyphrases
- game theory
- finite state machines
- cellular automata
- computer games
- video games
- modal logic
- finite automata
- nash equilibrium
- educational games
- online game
- lattice gas
- game theoretic
- nash equilibria
- game design
- learning games
- perfect information
- decision problems
- digital games
- imperfect information
- learning agents
- tree automata
- game tree search