TY  - RPRT
TI  - Provably Correct Automata Embeddings for Optimal Automata-Conditioned Reinforcement Learning
AU  - Beyazit Yalcinkaya
AU  - Niklas Lauffer
AU  - Marcell Vazquez-Chanlatte
AU  - Sanjit A. Seshia
PY  - 2025
UR  - https://arxiv.org/abs/2503.05042
ID  - 2503.05042
ER  -