@misc{indiciae4f170424b8ca,
  title = {Runtime Enforcement of CPS against Signal Temporal Logic},
  author = {Han Su and Saumya Shankar and Srinivas Pinisetty and Partha S. Roop and Naijun Zhan},
  year = {2025},
  url = {https://arxiv.org/abs/2502.11584},
  note = {Source identifier: 2502.11584}
}