Login / Signup
Qianqing Lan
Publication Activity (10 Years)
Years Active: 2017-2018
Publications (10 Years): 3
Top Topics
Robot Motion
Model Checking
Multiagent Systems
Map Building
Top Venues
QRS Companion
CoRR
</>
Publications
</>
Eun-Young Kang
,
Dongrui Mu
,
Li Huang
,
Qianqing Lan
Model-based Verification and Validation of an Autonomous Vehicle System.
CoRR
(2018)
Eun-Young Kang
,
Dongrui Mu
,
Li Huang
,
Qianqing Lan
Model-Based Analysis of Timing and Energy Constraints in an Autonomous Vehicle System.
QRS Companion
(2017)
Eun-Young Kang
,
Dongrui Mu
,
Li Huang
,
Qianqing Lan
Verification and Validation of a Cyber-Physical System in the Automotive Domain.
QRS Companion
(2017)