| Effective hybrid system falsification using Monte Carlo tree search guided by QB-robustness Z Zhang, D Lyu, P Arcaini, L Ma, I Hasuo, J Zhao International Conference on Computer Aided Verification, 595-618, 2021 | 44 | 2021 |
| FalsifAI: Falsification of AI-enabled hybrid control systems guided by time-aware coverage criteria Z Zhang, D Lyu, P Arcaini, L Ma, I Hasuo, J Zhao IEEE Transactions on Software Engineering 49 (4), 1842-1859, 2022 | 21 | 2022 |
| When cyber-physical systems meet AI: A benchmark, an evaluation, and a way forward J Song, D Lyu, Z Zhang, Z Wang, T Zhang, L Ma Proceedings of the 44th International Conference on Software Engineering …, 2022 | 21 | 2022 |
| SDLV: Verification of steering angle safety for self-driving cars H Wu, D Lv, T Cui, G Hou, M Watanabe, W Kong Formal Aspects of Computing 33, 325-341, 2021 | 15 | 2021 |
| A verification framework for behavioral safety of self‐driving cars H Wu, D Lyu, Y Zhang, G Hou, M Watanabe, J Wang, W Kong IET Intelligent Transport Systems 16 (5), 630-647, 2022 | 8 | 2022 |
| Autorepair: Automated repair for ai-enabled cyber-physical systems under safety-critical conditions D Lyu, J Song, Z Zhang, Z Wang, T Zhang, L Ma, J Zhao arXiv preprint arXiv:2304.05617, 2023 | 6 | 2023 |
| On the effectiveness of signal rescaling in hybrid system falsification Z Zhang, D Lyu, P Arcaini, L Ma, I Hasuo, J Zhao NASA Formal Methods Symposium, 392-399, 2021 | 6 | 2021 |
| Method for fully automatically detecting chessboard corner points LUOZ KONG Weiqiang, LV Deyun, Wei Zhong, LIU Risheng, Xin Fan US Patent 12,094,152, 2024 | 1* | 2024 |
| Search-Based Repair of DNN Controllers of AI-Enabled Cyber-Physical Systems Guided by System-Level Specifications D Lyu, Z Zhang, P Arcaini, F Ishikawa, T Laurent, J Zhao Proceedings of the Genetic and Evolutionary Computation Conference, 1435-1444, 2024 | 1 | 2024 |
| Method for adaptively detecting chessboard sub-pixel level corner points LIS Wei Zhong, LV Deyun, KONG Weiqiang, LIU Risheng, Xin Fan, LUO Zhongxuan US Patent 11,900,634, 2024 | 1 | 2024 |
| Method for infrared small target detection based on depth map in complex scene LUOZ KONG Weiqiang, LV Deyun, Wei Zhong, LIU Risheng, Xin Fan US Patent 12,108,022, 2024 | | 2024 |
| SpectAcle: Fault Localisation of AI-Enabled CPS by Exploiting Sequences of DNN Controller Inferences D Lyu, Z Zhang, P Arcaini, XY Zhang, F Ishikawa, J Zhao ACM Transactions on Software Engineering and Methodology, 2024 | | 2024 |
Zhenya ZhangKyushu UniversityVerified email at ait.kyushu-u.ac.jp