@misc{indiciae3c738040513a, title = {A Compositional Framework for On-the-Fly LTLf Synthesis}, author = {Yongkang Li and Shengping Xiao and Shufang Zhu and Jianwen Li and Geguang Pu}, year = {2025}, url = {https://arxiv.org/abs/2508.04116}, note = {Source identifier: 2508.04116} }