Extending finite memory determinacy: General techniques and an application to energy parity games.

Stéphane Le Roux Arno Pauly

Published in: CoRR (2016)

Keyphrases

special case
closely related
energy consumption
memory requirements
finite number
nash equilibrium
learning algorithm
data structure
search algorithm
integrity constraints
error correction