# Online hazard prediction of train operations with parametric hybrid automata based runtime verification

> Research article (Reliability Engineering & System Safety, 2023) · cited 14× · AI/ML

**Wikidata**: [openalex:W4386418695](https://www.wikidata.org/wiki/openalex:W4386418695)  
**Source**: https://4ort.xyz/entity/online-hazard-prediction-of-train-operations-with-parametric-hybrid-automata-based-runtime-verification