Author:
Feng Renyan,Acar Erman,Wang Yisong,Liu Wanwei,Schlobach Stefan,Ding Weiping
Subject
Artificial Intelligence,Information Systems and Management,Computer Science Applications,Theoretical Computer Science,Control and Systems Engineering,Software
Reference50 articles.
1. E.M. Clarke, E.A. Emerson, Design and synthesis of synchronization skeletons using branching time temporal logic, in: Workshop on Logic of Programs, 1981, pp. 52–71.
2. Computation Tree Logic Model Checking over Possibilistic Decision Processes Under Finite-Memory Scheduler;Liu,2021
3. Model-checking graded computation-tree logic with finite path semantics;Murano;Theoretical Computer Science,2020
4. R. Feng, E. Acar, S. Schlobach, Y. Wang, W. Liu, On sufficient and necessary conditions in bounded CTL: A forgetting approach, in: D. Calvanese, E. Erdem, M. Thielscher (Eds.), Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020, Rhodes, Greece, September 12–18, 2020, 2020, pp. 361–370. URL: https://doi.org/10.24963/kr.2020/37.
5. R. Feng, E. Acar, S. Schlobach, Y. Wang, W. Liu, On sufficient and necessary conditions in bounded CTL, CoRR abs/2003.06492. arXiv:2003.06492. URL: https://arxiv.org/abs/2003.06492.
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献