@inproceedings{chen2023stl,
  author    = {Hongkai Chen and
               Shan Lin and
               Scott A. Smolka and
               Nicola Paoletti},
  title     = {An STL-based Approach to Resilient Control for Cyber-Physical Systems},
  booktitle = {26th ACM International Conference on Hybrid Systems: Computation and Control (HSCC 2023), to appear},
  year      = {2023},

}