Cumulative-Time Signal Temporal Logic

Hongkai Chen, Zeyu Zhang, Shouvik Roy +4

Signal Temporal Logic (STL) is a widely adopted specification language in cyber-physical systems for expressing critical temporal requirements, such as safety conditions and respon…