Safety Analysis of Autonomous Driving Systems Based on Model Learning. - Renjue Li; Tianhang Qin; Pengfei Yang 002; Cheng-Chao Huang; Youcheng Sun; Lijun Zhang 001 (CoRR, 2022)

ISS-Scenario: Scenario-Based Testing in CARLA. - Renjue Li; Tianhang Qin; Cas Widdershoven (TASE, 2024)

QuantiVA: quantitative verification of autonomous driving. - Renjue Li; Tianhang Qin; Pengfei Yang 002; Cheng-Chao Huang; Youcheng Sun; Lijun Zhang 001 (Res. Dir. Cyber Phys. Syst., 2025)