Zhenya Zhang

A Survey on Automated Driving System Testing: Landscapes and Trends

Shuncheng Tang, Zhenya Zhang, Yi Zhang et al. · ACM Transactions on Software Engineering and Methodology · 2023 · 109 citations

Engineering, Verification, Advanced Driver-assistance System +16

Two-Layered Falsification of Hybrid Systems Guided by Monte Carlo Tree Search

Zhenya Zhang, Gidon Ernst, Sean Sedwards et al. · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 2018 · 66 citations

Artificial Intelligence, Engineering, Machine Learning +24

Advancements and insights in thermal and water management of proton exchange membrane fuel cells: Challenges and prospects

Zhenya Zhang, Jia Mao, Zhengxuan Liu · International Communications in Heat and Mass Transfer · 2024 · 63 citations · Full text

ARCH-COMP 2019 Category Report: Falsification

Gidon Ernst, Paolo Arcaini, Alexandre Donzé et al. · EPiC series in computing · 2019 · 28 citations · Full text

Common Benchmark Repository, Engineering, Verification +21

ARCH-COMP 2020 Category Report: Falsification

Gidon Ernst, Paolo Arcaini, Ismail Bennani et al. · EPiC series in computing · 2020 · 27 citations · Full text

Engineering, Temporal Logic Specifications, Verification +21