Login / Signup
Xiaoyi Xue
Publication Activity (10 Years)
Years Active: 2016-2016
Publications (10 Years): 1
Top Topics
Deterministic Finite Automaton
Automated Verification
Model Checking
Top Venues
ICEBE
</>
Publications
</>
Yonghua Zhu
,
Xiaoyi Xue
,
Kai Zhang
,
Shunyi Mao
,
Honghao Gao
Applying Probabilistic Model Checking to Express Delivery Location Selection and Optimization.
ICEBE
(2016)