Synchronous Signal Temporal Logic for Decidable Verification of Cyber-Physical Systems

Partha Roop, Sobhan Chatterjee, Avinash Malik +2

Many Cyber Physical System (CPS) work in a safety-critical environment, where correct execution, reliability and trustworthiness are essential. Signal Temporal Logic (STL) provides…