@misc{indiciaebc0c6b385d6d,
  title = {Control Synthesis against LTL Specifications with Long-Run Visit Proportion Objectives},
  author = {Zhiyuan Huang and Zhao Tong and Jiakai Li and Chenrui Xiang and Bingzhuo Zhong},
  year = {2026},
  url = {https://arxiv.org/abs/2609.24865},
  note = {Source identifier: 2609.24865}
}