Login / Signup
Tianhang Qin
ORCID
Publication Activity (10 Years)
Years Active: 2022-2024
Publications (10 Years): 3
Top Topics
Software Testing
Safety Analysis
Preprocessing
Symbolic Model Checking
Top Venues
CoRR
TASE
</>
Publications
</>
Renjue Li
,
Tianhang Qin
,
Cas Widdershoven
ISS-Scenario: Scenario-Based Testing in CARLA.
TASE
(2024)
Renjue Li
,
Tianhang Qin
,
Cas Widdershoven
ISS-Scenario: Scenario-based Testing in CARLA.
CoRR
(2024)
Renjue Li
,
Tianhang Qin
,
Pengfei Yang
,
Cheng-Chao Huang
,
Youcheng Sun
,
Lijun Zhang
Safety Analysis of Autonomous Driving Systems Based on Model Learning.
CoRR
(2022)