{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:24:05Z","timestamp":1750220645399,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":12,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,10,20]],"date-time":"2020-10-20T00:00:00Z","timestamp":1603152000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,10,20]]},"DOI":"10.1145\/3424978.3425046","type":"proceedings-article","created":{"date-parts":[[2020,10,15]],"date-time":"2020-10-15T19:07:02Z","timestamp":1602788822000},"page":"1-5","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Model Checking Dynamic Strategy Logic with Memoryless Strategies"],"prefix":"10.1145","author":[{"given":"Liping","family":"Xiong","sequence":"first","affiliation":[{"name":"School of Computer Science, South China Normal University, Guangzhou, China"}]},{"given":"Sumei","family":"Guo","sequence":"additional","affiliation":[{"name":"School of Computer Science and Technology, Beijing Institute of Technology, Zhuhai, China"}]}],"member":"320","published-online":{"date-parts":[[2020,10,20]]},"reference":[{"doi-asserted-by":"publisher","key":"e_1_3_2_1_1_1","DOI":"10.1007\/3-540-49213-5_2"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_2_1","DOI":"10.1145\/585265.585270"},{"key":"e_1_3_2_1_3_1","volume-title":"Proceedings of FSTTCS-2010","author":"Mogavero F","year":"2010","unstructured":"F Mogavero , ( 2010 ). Reasoning about strategies . In Proceedings of FSTTCS-2010 , 133--144. F Mogavero, et al. (2010). Reasoning about strategies. In Proceedings of FSTTCS-2010, 133--144."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_4_1","DOI":"10.1145\/2631917"},{"key":"e_1_3_2_1_5_1","volume-title":"Temporal logic can be more expressive. Information and Control, 72--99","author":"Wolper P","year":"1983","unstructured":"P Wolper ( 1983 ). Temporal logic can be more expressive. Information and Control, 72--99 . P Wolper (1983). Temporal logic can be more expressive. Information and Control, 72--99."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_6_1","DOI":"10.1016\/j.ic.2017.09.011"},{"key":"e_1_3_2_1_7_1","volume-title":"Proceedings of IJCAI-2013","author":"De Giacomo G","year":"2013","unstructured":"G De Giacomo and M. Y Vardi ( 2013 ). LTL and LDL on finite traces . In Proceedings of IJCAI-2013 , 854--860. G De Giacomo and M.Y Vardi (2013). LTL and LDL on finite traces. In Proceedings of IJCAI-2013, 854--860."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_8_1","DOI":"10.1023\/A:1026185103185"},{"key":"e_1_3_2_1_9_1","volume-title":"PDL of regular programs. J. Comput. System Science, 194--211","author":"Fischer M J","year":"1979","unstructured":"M J Fischer and R E Ladner ( 1979 ). PDL of regular programs. J. Comput. System Science, 194--211 . M J Fischer and R E Ladner (1979). PDL of regular programs. J. Comput. System Science, 194--211."},{"key":"e_1_3_2_1_10_1","volume-title":"Model-checking ATL under Imperfect Information and Perfect Recall Semantics is Undecidable. https:\/\/arxiv.org\/abs\/1102.4225","author":"Dima C","year":"2011","unstructured":"C Dima and F L Tiplea ( 2011 ). Model-checking ATL under Imperfect Information and Perfect Recall Semantics is Undecidable. https:\/\/arxiv.org\/abs\/1102.4225 . C Dima and F L Tiplea (2011). Model-checking ATL under Imperfect Information and Perfect Recall Semantics is Undecidable. https:\/\/arxiv.org\/abs\/1102.4225."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_11_1","DOI":"10.1016\/j.ic.2016.07.009"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_12_1","DOI":"10.1007\/s10009-015-0378-x"}],"event":{"acronym":"CSAE 2020","name":"CSAE 2020: The 4th International Conference on Computer Science and Application Engineering","location":"Sanya China"},"container-title":["Proceedings of the 4th International Conference on Computer Science and Application Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3424978.3425046","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3424978.3425046","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:02:16Z","timestamp":1750197736000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3424978.3425046"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,10,20]]},"references-count":12,"alternative-id":["10.1145\/3424978.3425046","10.1145\/3424978"],"URL":"https:\/\/doi.org\/10.1145\/3424978.3425046","relation":{},"subject":[],"published":{"date-parts":[[2020,10,20]]},"assertion":[{"value":"2020-10-20","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}