Publications, Activities, and Awards
- AutoRepair: Automated Repair for AI-Enabled Cyber- Physical Systems under Safety-Critical Conditions
- Mosaic: Model-based Safety Analysis Framework for AI-enabled Cyber-Physical Systems
- SIEGE: A Semantics-Guided Safety Enhancement Framework for AI-enabled Cyber-Physical Systems
- When Cyber-Physical Systems Meet AI: A Benchmark, an Evaluation, and a Way Forward