TY  - RPRT
TI  - On Synthesis of Timed Regular Expressions
AU  - Ziran Wang
AU  - Jie An
AU  - Naijun Zhan
AU  - Miaomiao Zhang
AU  - Zhenya Zhang
PY  - 2025
UR  - https://arxiv.org/abs/2509.06262
ID  - 2509.06262
ER  -