research
∙
05/28/2023
Online Causation Monitoring of Signal Temporal Logic
Online monitoring is an effective validation approach for hybrid systems...
share
research
∙
04/12/2023
AutoRepair: Automated Repair for AI-Enabled Cyber-Physical Systems under Safety-Critical Conditions
Cyber-Physical Systems (CPS) have been widely deployed in safety-critica...
research
∙
03/13/2023
Boosting Source Code Learning with Data Augmentation: An Empirical Study
The next era of program understanding is being propelled by the use of m...
research
∙
11/08/2021