@article{acompositionalframeworkforontheflyltlfsy, 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}, eprint = {2508.04116}, archivePrefix = {arXiv}, url = {https://arxiv.org/abs/2508.04116}, }