Towards Safety-Risk Prediction of CBTC Systems With Deep Learning and Formal Methods.

Jing Liu Li Qian Yan Zhang Jiazhen Han Junfeng Sun

Published in: IEEE Access (2020)

Keyphrases

formal methods
safety critical
deep learning
artificial intelligence
model checking
knowledge based systems
unsupervised learning
formal specification
building blocks
software engineering
machine learning
feature selection
probabilistic model
supervised learning
weakly supervised