@misc{indiciae6ccb24da6770,
  title = {Synchronous Signal Temporal Logic for Decidable Verification of Cyber-Physical Systems},
  author = {Partha Roop and Sobhan Chatterjee and Avinash Malik and Nathan Allen and Logan Kenwright},
  year = {2026},
  url = {https://arxiv.org/abs/2603.25531},
  note = {Source identifier: 2603.25531}
}