Login / Signup
Qiang Wang
ORCID
Publication Activity (10 Years)
Years Active: 2022-2022
Publications (10 Years): 4
Top Topics
Reliability Analysis
Model Checking
Temporal Logic
Reinforcement Learning
Top Venues
KSEM (3)
J. Syst. Archit.
IEEE Trans. Veh. Technol.
</>
Publications
</>
Hongbin He
,
Hongyu Kuang
,
Lin Yang
,
Feng Yang
,
Qiang Wang
,
Weipeng Cao
Automated Reliability Analysis of Redundancy Architectures Using Statistical Model Checking.
KSEM (3)
(2022)
Qiang Wang
,
Xinlei Zheng
,
Jiyong Zhang
,
Joseph Sifakis
A hybrid controller for safe and efficient longitudinal collision avoidance control.
J. Syst. Archit.
125 (2022)
Longquan Chen
,
Ying He
,
Qiang Wang
,
Weike Pan
,
Zhong Ming
Joint Optimization of Sensing, Decision-Making and Motion-Controlling for Autonomous Vehicles: A Deep Reinforcement Learning Approach.
IEEE Trans. Veh. Technol.
71 (5) (2022)
Weipeng Cao
,
Yuhao Wu
,
Qiang Wang
,
Jiyong Zhang
,
Xingjian Zhang
,
Meikang Qiu
A Novel RVFL-Based Algorithm Selection Approach for Software Model Checking.
KSEM (3)
(2022)