Follow
Deyun Lyu
Title
Cited by
Cited by
Year
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
302021
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
122022
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, 2022
112022
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
112021
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
62022
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
62021
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
12023
The system can't perform the operation now. Try again later.
Articles 1–7