TY  - RPRT
TI  - Control Synthesis against LTL Specifications with Long-Run Visit Proportion Objectives
AU  - Zhiyuan Huang
AU  - Zhao Tong
AU  - Jiakai Li
AU  - Chenrui Xiang
AU  - Bingzhuo Zhong
PY  - 2026
UR  - https://arxiv.org/abs/2609.24865
ID  - 2609.24865
ER  -