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]
@inproceedings{XiongG20-0, title = {Model Checking Dynamic Strategy Logic with Memoryless Strategies}, author = {Liping Xiong and Sumei Guo}, year = {2020}, doi = {10.1145/3424978.3425046}, url = {https://doi.org/10.1145/3424978.3425046}, researchr = {https://researchr.org/publication/XiongG20-0}, cites = {0}, citedby = {0}, booktitle = {CSAE 2020: The 4th International Conference on Computer Science and Application Engineering, Sanya, China, October 20-22, 2020}, editor = {Ali Emrouznejad and Jui-Sheng Rayson Chou}, publisher = {ACM}, isbn = {978-1-4503-7772-0}, }