TY - RPRT TI - Logic-informed reinforcement learning for cross-domain optimization of large-scale cyber-physical systems AU - Guangxi Wan AU - Peng Zeng AU - Xiaoting Dong AU - Chunhe Song AU - Shijie Cui AU - Dong Li AU - Qingwei Dong AU - Yiyang Liu AU - Hongfei Bai PY - 2025 UR - https://arxiv.org/abs/2511.00806 ID - 2511.00806 ER -