Deyun Lyu

According to our database, Deyun Lyu authored at least 5 papers between 2021 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

FalsifAI: Falsification of AI-Enabled Hybrid Control Systems Guided by Time-Aware Coverage Criteria.

Zhenya Zhang, Deyun Lyu, Paolo Arcaini, Lei Ma, Ichiro Hasuo, Jianjun Zhao

IEEE Trans. Software Eng., April, 2023

AutoRepair: Automated Repair for AI-Enabled Cyber-Physical Systems under Safety-Critical Conditions.

Deyun Lyu, Jiayang Song, Zhenya Zhang, Zhijie Wang, Tianyi Zhang, Lei Ma, Jianjun Zhao

CoRR, 2023

2022

When Cyber-Physical Systems Meet AI: A Benchmark, an Evaluation, and a Way Forward.

Jiayang Song, Deyun Lyu, Zhenya Zhang, Zhijie Wang, Tianyi Zhang, Lei Ma

Proceedings of the 44th IEEE/ACM International Conference on Software Engineering: Software Engineering in Practice, 2022

2021

On the Effectiveness of Signal Rescaling in Hybrid System Falsification.

Zhenya Zhang, Deyun Lyu, Paolo Arcaini, Lei Ma, Ichiro Hasuo, Jianjun Zhao

Proceedings of the NASA Formal Methods - 13th International Symposium, 2021

Effective Hybrid System Falsification Using Monte Carlo Tree Search Guided by QB-Robustness.

Zhenya Zhang, Deyun Lyu, Paolo Arcaini, Lei Ma, Ichiro Hasuo, Jianjun Zhao

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021