Login / Signup
Linxiang Shi
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 2
Top Topics
Raw Sensor Data
Alternating Time Temporal Logic
Network Traffic Monitoring
Model Checking
Top Venues
Mob. Networks Appl.
Neurocomputing
</>
Publications
</>
Fangshu Chen
,
Yanqiang Qi
,
Jiahui Wang
,
Lu Chen
,
Yufei Zhang
,
Linxiang Shi
Temporal Metrics Based Aggregated Graph Convolution Network for traffic forecasting.
Neurocomputing
556 (2023)
Xiaoxian Yang
,
Yuting Wei
,
Linxiang Shi
,
Lin Chen
Applying Probabilistic Model Checking to Path Planning for a Smart Multimodal Transportation System Using IoT Sensor Data.
Mob. Networks Appl.
28 (1) (2023)