TY - RPRT TI - An STL-based Approach to Resilient Control for Cyber-Physical Systems AU - Hongkai Chen AU - Scott A. Smolka AU - Nicola Paoletti AU - Shan Lin PY - 2022 UR - https://arxiv.org/abs/2211.02794 ID - 2211.02794 ER -