TY  - RPRT
TI  - Cumulative-Time Signal Temporal Logic
AU  - Hongkai Chen
AU  - Zeyu Zhang
AU  - Shouvik Roy
AU  - Ezio Bartocci
AU  - Scott A. Smolka
AU  - Scott D. Stoller
AU  - Shan Lin
PY  - 2025
UR  - https://arxiv.org/abs/2504.10325
ID  - 2504.10325
ER  -