Fast Attack Recovery for Stochastic Cyber-Physical Systems L Zhang, L Burbano, X Chen, AA Cardenas, S Drager, M Adderson, ... IEEE Real-Time and Embedded Technology and Applications Symposium, 2024 | | 2024 |
Reglo: Provable neural network repair for global robustness properties F Fu, Z Wang, W Zhou, Y Wang, J Fan, C Huang, Q Zhu, X Chen, W Li Proceedings of the AAAI Conference on Artificial Intelligence 38 (11), 12061 …, 2024 | 6 | 2024 |
Verification and Design of Robust and Safe Neural Network-enabled Autonomous Systems Q Zhu, W Li, C Huang, X Chen, W Zhou, Y Wang, J Li, F Fu 2023 59th Annual Allerton Conference on Communication, Control, and …, 2023 | | 2023 |
Real-Time Data-Predictive Attack-Recovery for Complex Cyber-Physical Systems L Zhang, K Sridhar, M Liu, P Lu, X Chen, F Kong, O Sokolsky, I Lee 2023 IEEE 29th Real-Time and Embedded Technology and Applications Symposium …, 2023 | 9 | 2023 |
Fulfilling Formal Specifications ASAP by Model-free Reinforcement Learning M Liu, P Lu, X Chen, F Kong, O Sokolsky, I Lee arXiv preprint arXiv:2304.12508, 2023 | 1 | 2023 |
POLAR-Express: Efficient and Precise Formal Reachability Analysis of Neural-Network Controlled Systems Y Wan, W Zhou, J Fan, Z Wang, J Li, X Chen, C Huang, W Li, Q Zhu arXiv preprint arXiv:2304.01218, 2023 | 6 | 2023 |
Safety-Assured Design and Adaptation of Connected and Autonomous Vehicles X Chen, J Fan, C Huang, R Jiao, W Li, X Liu, Y Wang, Z Wang, W Zhou, ... Machine Learning and Optimization Techniques for Automotive Cyber-Physical …, 2023 | 1 | 2023 |
ARCH-COMP22 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants DM Lopez, M Althoff, L Benet, X Chen, J Fan, M Forets, C Huang, ... Proceedings of 9th International Workshop on Applied 90, 142-184, 2022 | 15 | 2022 |
Reachability Analysis for Cyber-Physical Systems: Are We There Yet? X Chen, S Sankaranarayanan NASA Formal Methods: 14th International Symposium, NFM 2022, Pasadena, CA …, 2022 | 19 | 2022 |
Polar: A polynomial arithmetic framework for verifying neural-network controlled systems C Huang, J Fan, X Chen, W Li, Q Zhu International Symposium on Automated Technology for Verification and …, 2022 | 49 | 2022 |
Real-time Attack-recovery for Cyber-physical Systems Using Linear-quadratic Regulator L Zhang, P Lu, F Kong, X Chen, O Sokolsky, I Lee ACM Transactions on Embedded Computing Systems (TECS) 20 (5s), 1-24, 2021 | 20 | 2021 |
POLAR: A Polynomial Arithmetic Framework for Verifying Neural-Network Controlled Systems C Huang, J Fan, X Chen, W Li, Q Zhu arXiv preprint arXiv:2106.13867, 2021 | | 2021 |
Verification of Neural Network Compression of ACAS Xu Lookup Tables with Star Set Reachability D Manzanas Lopez, T Johnson, HD Tran, S Bak, X Chen, KL Hobbs AIAA Scitech 2021 Forum, 0995, 2021 | 15 | 2021 |
Real-Time Attack-Recovery for Cyber-Physical Systems Using Linear Approximations L Zhang, X Chen, F Kong, AA Cardenas 2020 IEEE Real-Time Systems Symposium (RTSS), 205-217, 2020 | 46 | 2020 |
Divide and Slide: Layer-Wise Refinement for Output Range Analysis of Deep Neural Networks C Huang, J Fan, X Chen, W Li, Q Zhu IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2020 | 19 | 2020 |
ReachNN*: A Tool for Reachability Analysis of Neural-Network Controlled Systems J Fan, C Huang, X Chen, W Li, Q Zhu International Symposium on Automated Technology for Verification and …, 2020 | 76 | 2020 |
ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics L Geretti, JAD Sandretto, M Althoff, L Benet, A Chapoutot, X Chen, ... EPiC Series in Computing 74, 49-75, 2020 | 21 | 2020 |
ReachFlow: An Online Safety Assurance Framework for Waypoint-Following of Self-driving Cars Q Lin, X Chen, A Khurana, J Dolan International Conference on Intelligent Robots and Systems (IROS), 2020 | 13 | 2020 |
Towards Verification-Aware Knowledge Distillation for Neural-Network Controlled Systems J Fan, C Huang, W Li, X Chen, Q Zhu 2019 IEEE/ACM International Conference on Computer-Aided Design (ICCAD), 1-8, 2019 | 21 | 2019 |
ReachNN: Reachability Analysis of Neural-Network Controlled Systems C Huang, J Fan, W Li, X Chen, Q Zhu ACM Transactions on Embedded Computing Systems (TECS) 18 (5s), 106:1 - 106:22, 2019 | 181 | 2019 |