research
∙
07/16/2020
An approach for auxiliary diagnosing and screening coronary disease based on machine learning
How to accurately classify and predict whether an individual has coronar...
share
research
∙
02/23/2019
Experimental Study on CTL model checking using Machine Learning
The existing core methods, which are employed by the popular CTL model c...
research
∙
01/23/2019
Predicting the Results of LTL Model Checking using Multiple Machine Learning Algorithms
In this paper, we study how to predict the results of LTL model checking...
research
∙
06/25/2018
On the model-checking-based IDS
How to identify the comprehensive comparable performance of various Intr...
research
∙
05/30/2018
Approximate LTL model checking
Linear Temporal Logic (LTL) model checking has been applied to many fiel...
research
∙
03/27/2018
Analyzing DNA Hybridization via machine learning
In DNA computing, it is impossible to decide whether a specific hybridiz...
research
∙
01/08/2018