Formal Modeling and Quantitative Evaluation for Online Monitoring Systems in Nuclear Facilities. - Letian Fang; Wenbing Tang 001; Xin Wang; Jing Liu 012; Shengyuan Wang (SMC, 2025)

A Personalized Lane-Change Safety Verification Framework Based on Driving Style and Formal Modeling. - Xin Wang; Letian Fang; Jing Liu; Rongbin Hou (SMC, 2025)

Counterfactual-Based Root Cause Analysis for Misconfigurations in Autonomous Driving Systems. - Letian Fang; Wenbing Tang 001; Jing Liu 012 (IEEE Robotics Autom. Lett., 2026)