Celeste is PSPACE-hard.

Lily Chung Erik D. Demaine

Published in: CoRR (2022)

Keyphrases

temporal logic
databases
neural network
machine learning
mazurkiewicz traces
data sets
learning algorithm
objective function
support vector
data analysis
multiresolution
special case
pspace complete