3 citations · 6 across the 6 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
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.LO2022★ 2 cited
An STL-based Formulation of Resilience in Cyber-Physical Systems
Hongkai Chen, Shan Lin, Scott A. Smolka +1
Resiliency is the ability to quickly recover from a violation and avoid future violations for as long as possible. Such a property is of fundamental importance for Cyber-Physical S…