Compositional Automata Embeddings for Goal-Conditioned Reinforcement Learning - Yalcinkaya, Beyazit; Lauffer, Niklas; Vazquez-Chanlatte, Marcell; Seshia, Sanjit A. (Advances in Neural Information Processing Systems, 2024)