Liping Xiong, Sumei Guo. Model Checking Dynamic Strategy Logic with Memoryless Strategies. In Ali Emrouznejad, Jui-Sheng Rayson Chou, editors, CSAE 2020: The 4th International Conference on Computer Science and Application Engineering, Sanya, China, October 20-22, 2020. ACM, 2020. [doi]
Abstract is missing.