APA (7th ed.) Citation

Chen, H., Zhang, Z., Roy, S., Bartocci, E., Smolka, S. A., Stoller, S., & Lin, S. (2025). Cumulative-Time Signal Temporal Logic. ACM Transactions on Embedded Computing Systems, 24, 1. https://doi.org/10.1145/3763237

Chicago Style (17th ed.) Citation

Chen, Hongkai, Zeyu Zhang, Shouvik Roy, Ezio Bartocci, Scott A. Smolka, Scott Stoller, and Shan Lin. "Cumulative-Time Signal Temporal Logic." ACM Transactions on Embedded Computing Systems 24 (2025): 1. https://doi.org/10.1145/3763237.

MLA (9th ed.) Citation

Chen, Hongkai, et al. "Cumulative-Time Signal Temporal Logic." ACM Transactions on Embedded Computing Systems, vol. 24, 2025, p. 1, https://doi.org/10.1145/3763237.