Synchronous Signal Temporal Logic for Decidable Verification of Cyber-Physical Systems
arXiv:2603.25531v1 Announce Type: cross
Abstract: Many Cyber Physical System (CPS) work in a safety-critical environment, where correct execution, reliability and trustworthiness are essential. Signal Temporal Logic (STL) provides a formal framework f…