News 20220829 Formats 2022
[Publication] Our paper titled “An STL-Based Formulation of Resilience in Cyber-Physical Systems” is accepted to FORMATS’22 and won the Best Paper Award [pdf] [certificate]
[Publication] Our paper titled “An STL-Based Formulation of Resilience in Cyber-Physical Systems” is accepted to FORMATS’22 and won the Best Paper Award [pdf] [certificate]