Classical Planning in Deep Latent Space: Bridging the Subsymbolic-Symbolic Boundary