2017 9th International Conference on Intelligent Human-Machine Systems and Cybernetics (IHMSC) IHMSC Intelligent Human-Machine Systems and Cybernetics (IHMSC), 2017 9th International Conference on. 1:239-242 Aug, 2017
Feng, R, Acar, E, Schlobach, S, Wang, Y & Liu, W 2020, On Sufficient and Necessary Conditions in Bounded CTL . in D Calvanese, E Erdem & M Thielscher (eds), Proceedings of the 17th Conference on Principles of Knowledge Representation and Reasoning . Proceedings, IJCAI Organization, pp. 361-370 . https://doi.org/10.24963/kr.2020/37