@misc{indiciae5b940cd050d3,
  title = {Cumulative-Time Signal Temporal Logic},
  author = {Hongkai Chen and Zeyu Zhang and Shouvik Roy and Ezio Bartocci and Scott A. Smolka and Scott D. Stoller and Shan Lin},
  year = {2025},
  url = {https://arxiv.org/abs/2504.10325},
  note = {Source identifier: 2504.10325}
}