3 citations · 7 across the 12 of their papers we have counts for
5 papers · 1 filter
Model Checking Logical Actions in Magic Tricks
Weijun Zhu
Some Magic Tricks (MT), such as many kinds of Card Magic (CM), consisting of human computational or logical actions. How to ensure the logical correctness of these MTs? In this pap…
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…
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…
Molecular Model Checking a Temporal Logic
Weijun Zhu
The molecular computing has been successfully employed to solve more and more complex computation problems. However, as an important complex problem, the model checking are still f…