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,…