TY - RPRT TI - Control Synthesis of Cyber-Physical Systems for Real-Time Specifications through Causation-Guided Reinforcement Learning AU - Xiaochen Tang AU - Zhenya Zhang AU - Miaomiao Zhang AU - Jie An PY - 2025 UR - https://arxiv.org/abs/2510.07715 ID - 2510.07715 ER -