modify paper_list

paper_list.md

 # Suggested Articles
 
+**Note:** ~~strikethrough~~ means that the paper is already taken.
+
 **String Constraint Solver:** 
 
-- Taolue Chen, Matthew Hague, Jinlong He, Denghang Hu, Anthony Widjaja Lin, Philipp Rümmer, Zhilin Wu. A Decision Procedure for Path Feasibility of String Manipulating Programs with Integer Data Type. ATVA 2020: 325-342. [Download](https://arxiv.org/abs/2007.06913)
+- ~~Taolue Chen, Matthew Hague, Jinlong He, Denghang Hu, Anthony Widjaja Lin, Philipp Rümmer, Zhilin Wu. A Decision Procedure for Path Feasibility of String Manipulating Programs with Integer Data Type. ATVA 2020: 325-342. [Download](https://arxiv.org/abs/2007.06913)~~
 
 - Taolue Chen, Matthew Hague, Anthony W. Lin, Philipp Rümmer, Zhilin Wu. Decision procedures for path feasibility of string-manipulating programs with complex operations. Proc. ACM Program. Lang. 3(POPL): 49:1-49:30 (2019) [Download](https://arxiv.org/abs/1811.03167)
 
@@ -43,7 +45,6 @@ Efficient handling of string-number conversion. 943-957. [Download](http://bull.
 
 - Krishnendu Chatterjee, Thomas A. Henzinger, Nir Piterman, Strategy logic, Information and Computation, Volume 208, Issue 6, 2010, Pages 677-693, ISSN 0890-5401, https://doi.org/10.1016/j.ic.2009.07.004. [Download](https://www.sciencedirect.com/science/article/pii/S0890540110000192/pdf?md5=7e7a80926b579256690fce1faa7e320b&pid=1-s2.0-S0890540110000192-main.pdf)
 
-- R. Berthon, B. Maubert, A. Murano, S. Rubin and M. Y. Vardi, "Strategy logic with imperfect information," 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Reykjavik, 2017, pp. 1-12, doi: 10.1109/LICS.2017.8005136. [Download](https://arxiv.org/abs/2003.04730)
 
 - Udi Boker, Krishnendu Chatterjee, Thomas A. Henzinger, and Orna Kupferman. 2014. Temporal Specifications with Accumulative Values. ACM Trans. Comput. Logic 15, 4, Article 27 (August 2014), 25 pages. DOI:https://doi.org/10.1145/2629686. [Download](https://www.cs.huji.ac.il/~ornak/publications/lics11b.pdf)
 
@@ -58,15 +59,9 @@ Efficient handling of string-number conversion. 943-957. [Download](http://bull.
 Volume 285, 2020, 103302, ISSN 0004-3702, https://doi.org/10.1016/j.artint.2020.103302. [Download](https://www.researchgate.net/profile/Francesco_Belardinelli/publication/341415354_Verification_of_multi-agent_systems_with_public_actions_against_strategy_logic/links/5ec4336a299bf1c09acbdafe/Verification-of-multi-agent-systems-with-public-actions-against-strategy-logic.pdf)
 
 
-**Computational Aspects of Game Theory:**
-
-TBA
-TBA
-
-
 **Games and Automata for Verification:**
 
-TBA
+- Krishnendu Chatterjee and Nir Piterman. 2019. Combinations of Qualitative Winning for Stochastic Parity Games. In 30th International Conference on Concurrency Theory, CONCUR 2019 (LIPIcs), Vol. 140. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 6:1–6:17. [Download](https://drops.dagstuhl.de/opus/volltexte/2019/10908/pdf/LIPIcs-CONCUR-2019-6.pdf)
 
 
 **Specification and Verification of Finite and Infinite-State Systems:**