Cumulative-Time Signal Temporal Logic

Open Webpage

Hongkai Chen, Zeyu Zhang, Shouvik Roy, Ezio Bartocci, Scott A. Smolka, Scott Stoller, Shan Lin

Published: 30 Sept 2025, Last Modified: 07 Mar 2026ACM Transactions on Embedded Computing SystemsEveryoneRevisionsCC BY-SA 4.0
External IDs:doi:10.1145/3763237