View in EDS PDF Full Text

Cumulative-Time Signal Temporal Logic.

Saved in:
Bibliographic Details
Title: Cumulative-Time Signal Temporal Logic.
Authors: Chen, Hongkai1, hkchen@ie.cuhk.edu.hk, Zhang, Zeyu2, Zeyu.Zhang.2@stonybrook.edu, Roy, Shouvik3, sroy20@iit.edu, Bartocci, Ezio4, ezio.bartocci@tuwien.ac.at, Smolka, Scott A.5, sas@cs.stonybrook.edu, Stoller, Scott5, stoller@cs.stonybrook.edu, Lin, Shan2, shan.x.lin@stonybrook.edu
Source: ACM Transactions on Embedded Computing Systems; 2025 Suppl 5, Vol. 24, p1-23, 23p
Database: Applied Science & Technology Source
Description
ISSN:15399087
DOI:10.1145/3763237