@misc{indiciaef853c6f39fc2,
  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},
  url = {https://arxiv.org/abs/2503.05042},
  note = {Source identifier: 2503.05042}
}