TY  - RPRT
TI  - Synchronous Signal Temporal Logic for Decidable Verification of Cyber-Physical Systems
AU  - Partha Roop
AU  - Sobhan Chatterjee
AU  - Avinash Malik
AU  - Nathan Allen
AU  - Logan Kenwright
PY  - 2026
UR  - https://arxiv.org/abs/2603.25531
ID  - 2603.25531
ER  -