Extending Finite-Memory Determinacy by Boolean Combination of Winning Conditions.

Stéphane Le Roux Arno Pauly Mickael Randour

Published in: FSTTCS (2018)

Keyphrases

sufficient conditions
environmental conditions
computing power
real valued
memory space
memory requirements
memory usage
data sets
real world
data mining
database systems
computational complexity
main memory
boolean functions
finite number
finite automata