呂徳運 (Deyun Lyu) - マイポータル

基本情報

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

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

IEEE Trans. Software Eng. 49(4) 1842-1859 2023年4月
AutoRepair: Automated Repair for AI-Enabled Cyber-Physical Systems under Safety-Critical Conditions.

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

CoRR abs/2304.05617 2023年
When Cyber-Physical Systems Meet AI: A Benchmark, an Evaluation, and a Way Forward.

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

ICSE (SEIP) 343-352 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 0001, Lei Ma 0003

CoRR abs/2111.04324 2021年
On the Effectiveness of Signal Rescaling in Hybrid System Falsification.

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

NASA Formal Methods - 13th International Symposium(NFM) 392-399 2021年
Effective Hybrid System Falsification Using Monte Carlo Tree Search Guided by QB-Robustness.

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

Computer Aided Verification - 33rd International Conference 595-618 2021年

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

デモ・ポスターセッション, 日本ソフトウェア科学会第39 回大会
Towards Building Reliable AI-Enabled Cyber-Physical Systems

Doctoral Symposium of 25th International Symposium on Formal Methods