1 citations · 2 across the 6 of their papers we have counts for
9 papers
Experimental Study on CTL model checking using Machine Learning
Weijun ZHU
The existing core methods, which are employed by the popular CTL model checking tools, are facing the famous state explode problem. In our previous study, a method based on the Mac…
Predicting the Results of LTL Model Checking using Multiple Machine Learning Algorithms
Weijun Zhu, Mingliang Xu, Jianwei Wang
In this paper, we study how to predict the results of LTL model checking using some machine learning algorithms. Some Kripke structures and LTL formulas and their model checking re…
On the model-checking-based IDS
Weijun Zhu
How to identify the comprehensive comparable performance of various Intrusion Detection (ID) algorithms which are based on the Model Checking (MC) techniques? To address this open…
Approximate LTL model checking
Weijun Zhu, Jianwei Wang, Yongwen Fan
The state explosion problem and the exponentially computational complexity restrict the further applications of LTL model checking. To this end, this study tries to seek an accepta…
Analyzing DNA Hybridization via machine learning
Weijun Zhu
In DNA computing, it is impossible to decide whether a specific hybridization among complex DNA molecules is effective or not within acceptable time. In order to address this commo…
Some Issues on the Theory of the Mimic-Computing-Oriented Automata
Weijun Zhu
A mimic computing oriented automaton can directly portray the behaviors of a mimic computing system. In this paper, we investigate the following theoretical problems on this type o…