@article{provablycorrectautomataembeddingsfor,
  title = {Provably Correct Automata Embeddings for Optimal Automata-Conditioned Reinforcement Learning},
  author = {Beyazit Yalcinkaya and Niklas Lauffer and Marcell Vazquez-Chanlatte and Sanjit A. Seshia},
  year = {2025},
  eprint = {2503.05042},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2503.05042v2},
}