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]
No references recorded for this publication.
No citations of this publication recorded.