دورية أكاديمية
Intelligent Quantitative Safety Monitoring Approach for ATP Using LSSVM and Probabilistic Model Checking Considering Imperfect Fault Coverage
| العنوان: | Intelligent Quantitative Safety Monitoring Approach for ATP Using LSSVM and Probabilistic Model Checking Considering Imperfect Fault Coverage |
|---|---|
| المؤلفون: | Cheng, R., Chen, D., Ma, X., Cheng, Y., Cheng, H. |
| المصدر: | IEEE Transactions on Intelligent Transportation Systems IEEE Trans. Intell. Transport. Syst. Intelligent Transportation Systems, IEEE Transactions on. 25(5):3724-3738 May, 2024 |
| قاعدة البيانات: | IEEE Xplore Digital Library |
Full Text Finder | تدمد: | 15249050 15580016 |
|---|---|
| DOI: | 10.1109/TITS.2023.3332348 |