Showing cs.FLShow all
2 papers · 1 filter
cs.FL2025
RESTL: Reinforcement Learning Guided by Multi-Aspect Rewards for Signal Temporal Logic Transformation
Yue Fang, Jin Zhi, Jie An +3
Signal Temporal Logic (STL) is a powerful formal language for specifying real-time specifications of Cyber-Physical Systems (CPS). Transforming specifications written in natural la…
cs.FL2025
On Synthesis of Timed Regular Expressions
Ziran Wang, Jie An, Naijun Zhan +2
Timed regular expressions serve as a formalism for specifying real-time behaviors of Cyber-Physical Systems. In this paper, we consider the synthesis of timed regular expressions,…