Treffer: Intelligent Quantitative Safety Monitoring Approach for ATP Using LSSVM and Probabilistic Model Checking Considering Imperfect Fault Coverage

Title:
Intelligent Quantitative Safety Monitoring Approach for ATP Using LSSVM and Probabilistic Model Checking Considering Imperfect Fault Coverage
Authors:
Cheng, R., Chen, D., Ma, X., Cheng, Y., Cheng, H.
Source:
IEEE Transactions on Intelligent Transportation Systems IEEE Trans. Intell. Transport. Syst. Intelligent Transportation Systems, IEEE Transactions on. 25(5):3724-3738 May, 2024
Database:
IEEE Xplore Digital Library