Smaller progress measures and separating automata for parity games.

Daniele Dell'Erba Sven Schewe

Published in: Frontiers Comput. Sci. (2022)

Keyphrases

computer games
error correction
finite automata
game theory
cellular automata
video games
nash equilibria
game playing
probabilistic automata
quantitative measures
game tree search
game theoretic
nash equilibrium
query language
tree automata
association rules
search algorithm
multi agent