2 papers
cs.LO2025
An STREL-based Formulation of Spatial Resilience in Cyber-Physical Systems
Zeyu Zhang, Hongkai Chen, Nicola Paoletti +2
Resiliency is the ability of a system to quickly recover from a violation (recoverability) and avoid future violations for as long as possible (durability). In the spatial setting,…
cs.LO2025
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…