共 50 条
- [1] Causal Repair of Learning-Enabled Cyber-Physical Systems 2023 IEEE INTERNATIONAL CONFERENCE ON ASSURED AUTONOMY, ICAA, 2023, : 1 - 10
- [2] Detecting Adversarial Examples in Learning-Enabled Cyber-Physical Systems using Variational Autoencoder for Regression 2020 IEEE SYMPOSIUM ON SECURITY AND PRIVACY WORKSHOPS (SPW 2020), 2020, : 208 - 214
- [5] INVITED: Reasoning about Safety of Learning-Enabled Components in Autonomous Cyber-physical Systems 2018 55TH ACM/ESDA/IEEE DESIGN AUTOMATION CONFERENCE (DAC), 2018,
- [7] Testing Learning-Enabled Cyber-Physical Systems with Large-Language Models: A Formal Approach COMPANION PROCEEDINGS OF THE 32ND ACM INTERNATIONAL CONFERENCE ON THE FOUNDATIONS OF SOFTWARE ENGINEERING, FSE COMPANION 2024, 2024, : 467 - 471
- [8] Energy-Efficient Control Adaptation with Safety Guarantees for Learning-Enabled Cyber-Physical Systems 2020 IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER AIDED-DESIGN (ICCAD), 2020,
- [9] Real-time Out-of-distribution Detection in Learning-Enabled Cyber-Physical Systems 2020 ACM/IEEE 11TH INTERNATIONAL CONFERENCE ON CYBER-PHYSICAL SYSTEMS (ICCPS 2020), 2020, : 174 - 183
- [10] Medical Cyber-Physical Systems Enabled with Permissioned Blockchain ADVANCES IN COMPUTING AND DATA SCIENCES (ICACDS 2022), PT II, 2022, 1614 : 76 - 87