Sports Analytics Using Probabilistic Model Checking and Deep Learning. - Jin Song Dong; Kan Jiang; Zhaoyu Liu; Chen Dong; Zhe Hou; Rajdeep Singh Hundal; Jingyu Guo; Yun Lin 001 (ICECCS, 2023)

Soccer Strategy Analytics Using Probabilistic Model Checkers. - Rajdeep Singh Hundal; Zhaoyu Liu; Bimlesh Wadhwa; Zhe Hou; Kan Jiang; Jin Song Dong (ISACE, 2024)

On the Mistaken Assumption of Interchangeable Deep Reinforcement Learning Implementations. - Rajdeep Singh Hundal; Yan Xiao 002; Xiaochun Cao; Jin Song Dong; Manuel Rigger (ICSE, 2025)