TY  - RPRT
TI  - RESTL: Reinforcement Learning Guided by Multi-Aspect Rewards for Signal Temporal Logic Transformation
AU  - Yue Fang
AU  - Jin Zhi
AU  - Jie An
AU  - Hongshen Chen
AU  - Xiaohong Chen
AU  - Naijun Zhan
PY  - 2025
UR  - https://arxiv.org/abs/2511.08555
ID  - 2511.08555
ER  -