News 20230509 Hscc 2023
[Publication] Our paper titled “An STL-based Approach to Resilient Control for Cyber-Physical Systems” is accepted to HSCC’23 and won the Best Repeatability Evaluation Award [pdf] [certificate]
[Publication] Our paper titled “An STL-based Approach to Resilient Control for Cyber-Physical Systems” is accepted to HSCC’23 and won the Best Repeatability Evaluation Award [pdf] [certificate]