Reorder user's tweets. - Keyi Shen; Jianmin Wu; Ya Zhang 002; Yiping Han; Xiaokang Yang 001; Li Song 001; Xiao Gu 001 (ACM Trans. Intell. Syst. Technol., 2013)

Parallel and Incremental Verification of Hybrid Automata with Ray and Verse. - Haoqing Zhu; Yangge Li; Keyi Shen; Sayan Mitra (ATVA (1), 2023)

Verse: A Python Library for Reasoning About Multi-agent Hybrid System Scenarios. - Yangge Li; Haoqing Zhu; Katherine Braught; Keyi Shen; Sayan Mitra (CAV (1), 2023)

BaB-ND: Long-Horizon Motion Planning with Branch-and-Bound and Neural Dynamics. - Keyi Shen; Jiangwei Yu; Huan Zhang; Yunzhu Li (CoRR, 2024)

Association rule mining of air quality through an improved Apriori algorithm: A case study in 244 Chinese cities. - Keyi Shen; Ye Tian 007; Bisong Hu; Jin Luo; Shuhua Qi; Songli Chen; Hui Lin 002 (Trans. GIS, 2024)

BaB-ND: Long-Horizon Motion Planning with Branch-and-Bound and Neural Dynamics. - Keyi Shen; Jiangwei Yu; Jose A. Barreiros; Huan Zhang; Yunzhu Li (ICLR, 2025)