Ruijun Cheng, Yu Cheng, Haifeng Song 0001, Dewang Chen, Liping Zhang, Huize Cheng. Operational State-Based Maintenance Adjustment Strategy for Automatic Train Protection System by Integrating Probabilistic Model Checking With Machine Learning Algorithm. IEEE Transactions on Intelligent Transportation Systems, 27(6):6733-6748, June 2026. [doi]
Abstract is missing.