"Runtime Enforcement of CPS against Signal Temporal Logic", HSCC 2025 - Proceedings of the 28th International Conference on Hybrid Systems: Computation and Control, part of CPS-IoT Week (held as part of the 18th Cyber-Physical Systems and Internet-of-Things Week), 2025International(SES)School of Electrical Sciences