Intelligent Quantitative Safety Monitoring Approach for ATP Using LSSVM and Probabilistic Model Checking Considering Imperfect Fault Coverage.
Ruijun ChengDewang ChenXiaoping MaYu ChengHuize ChengPublished in: IEEE Trans. Intell. Transp. Syst. (2024)
Keyphrases
- model checking
- ls svm
- least squares support vector machine
- temporal logic
- formal verification
- least squares
- model checker
- temporal properties
- automated verification
- symbolic model checking
- formal specification
- verification method
- formal methods
- epistemic logic
- variable selection
- probabilistic model
- timed automata
- computation tree logic
- bayesian networks
- bounded model checking
- theorem prover
- transition systems
- probability theory
- hyperparameters
- improved algorithm
- prediction model
- cross validation
- hidden markov models
- artificial neural networks
- expert systems
- feature space
- support vector
- reinforcement learning
- learning algorithm