共 50 条
- [1] ON THE COMPUTATIONAL COMPLEXITY OF MODEL CHECKING FOR DYNAMIC EPISTEMIC LOGIC WITH S5 MODELS JOURNAL OF APPLIED LOGICS-IFCOLOG JOURNAL OF LOGICS AND THEIR APPLICATIONS, 2021, 8 (03): : 621 - 658
- [2] On the computational complexity of model checking for dynamic epistemic logic with s5 models Journal of Applied Logics, 2021, 8 (03): : 621 - 658
- [4] A new model for model checking: cycle-weighted Kripke structure FRONTIERS OF COMPUTER SCIENCE IN CHINA, 2010, 4 (01): : 78 - 88
- [5] A new model for model checking: cycle-weighted Kripke structure Frontiers of Computer Science in China, 2010, 4 : 78 - 88
- [6] A Method of Dynamic Model Checking by Fusion Entropy and Residual Correlation Analysis PROCEEDINGS OF THE 2008 INTERNATIONAL SYMPOSIUM ON COMPUTATIONAL INTELLIGENCE AND DESIGN, VOL 1, 2008, : 436 - 439
- [7] A symbolic computational method for a dynamic model of robot manipulators DEVELOPMENTS IN ENGINEERING COMPUTATIONAL TECHNOLOGY, 2000, : 51 - 55