TY - RPRT TI - Synthesis of Computable Regular Functions of Infinite Words AU - V. Dave AU - E. Filiot AU - S. Krishna AU - N. Lhote PY - 2024 DO - 10.46298/lmcs-18(2:23)2022 UR - https://arxiv.org/abs/1906.04199 ID - 1906.04199 ER -