Applying Probabilistic Model Checking to Path Planning for a Smart Multimodal Transportation System Using IoT Sensor Data. - Xiaoxian Yang; Yuting Wei; Linxiang Shi; Lin Chen (Mob. Networks Appl., 2023)

Temporal Metrics Based Aggregated Graph Convolution Network for traffic forecasting. - Fangshu Chen; Yanqiang Qi; Jiahui Wang; Lu Chen; Yufei Zhang 005; Linxiang Shi (Neurocomputing, 2023)