Cumulative-Time Signal Temporal Logic.
Saved in:
| 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 |
Be the first to leave a comment!
