Provably Correct Automata Embeddings for Optimal Automata-Conditioned Reinforcement Learning

Open in new window