Intelligent quantitative safety monitoring approach for ATP system by neural computing and probabilistic model checking. - Yu Cheng; Jinzhao Liu; Xinliang Jiang; Xinyu Du; Ruijun Cheng (J. Supercomput., 2024)