activity
20162026
most citedRuntime Interchange for Adaptive Re-use of Intelligent Cyber-Physical System Controllers

2 citations · 3 across the 6 of their papers we have counts for

collaborators
Showing eess.SYShow all

1 paper · 1 filter

eess.SY2025

Runtime Enforcement of CPS against Signal Temporal Logic

Han Su, Saumya Shankar, Srinivas Pinisetty +2

Cyber-Physical Systems (CPSs), especially those involving autonomy, need guarantees of their safety. Runtime Enforcement (RE) is a lightweight method to formally ensure that some s…