paper_list.md 7.49 KB
Newer Older
Muhammad Najib's avatar
Muhammad Najib committed
1
2
# Suggested Articles

Muhammad Najib's avatar
Muhammad Najib committed
3
**Note:** ~~strikethrough~~ means that the paper is already taken.
Muhammad Najib's avatar
Muhammad Najib committed
4

Muhammad Najib's avatar
Muhammad Najib committed
5
6
7
8
**Modal and Temporal Logics:**

- 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)

Muhammad Najib's avatar
Muhammad Najib committed
9
- ~~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)~~
Muhammad Najib's avatar
Muhammad Najib committed
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25

- 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)


**Model Checking:**

- Rajeev Alur, Thomas A. Henzinger, and Orna Kupferman. 2002. Alternating-time temporal logic. J. ACM 49, 5 (September 2002), 672–713. DOI:https://doi.org/10.1145/585265.585270 [Download](https://www.cis.upenn.edu/~alur/Jacm02.pdf)

- Benjamin Aminof, Marta Kwiatkowska, Bastien Maubert, Aniello Murano and Sasha Rubin. Probabilistic Strategy Logic. In Proc. International Joint Conference on Artificial Intelligence (IJCAI-19). 2019. [Download](http://qav.comlab.ox.ac.uk/papers/akmmr19.pdf)

- Francesco Belardinelli, Alessio Lomuscio, Aniello Murano, Sasha Rubin, Verification of multi-agent systems with public actions against strategy logic, Artificial Intelligence,
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:**

26
- ~~Ummels M., Wojtczak D. (2011) The Complexity of Nash Equilibria in Limit-Average Games. In: Katoen JP., König B. (eds) CONCUR 2011 – Concurrency Theory. CONCUR 2011. Lecture Notes in Computer Science, vol 6901. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-23217-6_32. [Download](https://arxiv.org/abs/1109.6220)~~
Muhammad Najib's avatar
Muhammad Najib committed
27

Muhammad Najib's avatar
Muhammad Najib committed
28
- ~~Gutierrez, J., Murano, A., Perelli, G. et al. Equilibria for games with combined qualitative and quantitative objectives. Acta Informatica (2020). https://doi.org/10.1007/s00236-020-00385-4. [Download](https://arxiv.org/abs/2008.05643)~~
Muhammad Najib's avatar
Muhammad Najib committed
29

Muhammad Najib's avatar
Muhammad Najib committed
30
- ~~Bertrand, N., Bouyer, P., & Majumdar, A. (2019). Concurrent parameterized games. In 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2019). Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik. [Download](https://drops.dagstuhl.de/opus/volltexte/2019/11593/pdf/LIPIcs-FSTTCS-2019-31.pdf)~~
Muhammad Najib's avatar
Muhammad Najib committed
31
32
33
34


**Games and Automata for Verification:**

Muhammad Najib's avatar
Muhammad Najib committed
35
- ~~Raphaël Berthon, Shibashis Guha, and Jean-François Raskin. 2020. Mixing Probabilistic and non-Probabilistic Objectives in Markov Decision Processes. In Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS '20). Association for Computing Machinery, New York, NY, USA, 195–208. DOI:https://doi.org/10.1145/3373718.3394805. [Download](https://arxiv.org/abs/2004.13789)~~
Muhammad Najib's avatar
Muhammad Najib committed
36
37
38

- 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)

Muhammad Najib's avatar
Muhammad Najib committed
39
- ~~Aniello Murano, Sasha Rubin and Martin Zimmermann. Optimal Strategies in Weighted Limit Games. In Proceedings of GandALF 2020. [Download](https://arxiv.org/abs/2009.11638)~~
Muhammad Najib's avatar
Muhammad Najib committed
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85


**Specification and Verification of Finite and Infinite-State Systems:**

- Antoine Durand-Gasselin, Javier Esparza, Pierre Ganty, Rupak Majumdar:
Model checking parameterized asynchronous shared-memory systems. Formal Methods in System Design 50(2-3): 140-167 (2017) [Download](https://arxiv.org/abs/1505.06588)

- Nathalie Bertrand, Paulin Fournier, Arnaud Sangnier:
Distributed Local Strategies in Broadcast Networks. CONCUR 2015: 44-57. [Download](https://drops.dagstuhl.de/opus/volltexte/2015/5379/pdf/19.pdf)

- Orna Kupferman, Amir Pnueli, Moshe Y. Vardi, Once and for all, Journal of Computer and System Sciences, Volume 78, Issue 3, 2012, Pages 981-996, ISSN 0022-0000, https://doi.org/10.1016/j.jcss.2011.08.006. [Download](https://www.sciencedirect.com/science/article/pii/S0022000011000857)


**Synthesis:**

- Fisman D., Kupferman O., Lustig Y. (2010) Rational Synthesis. In: Esparza J., Majumdar R. (eds) Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2010. Lecture Notes in Computer Science, vol 6015. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-12002-2_16. [Download](https://arxiv.org/abs/0907.3019)

- Almagor S., Kupferman O. (2020) Good-Enough Synthesis. In: Lahiri S., Wang C. (eds) Computer Aided Verification. CAV 2020. Lecture Notes in Computer Science, vol 12225. Springer, Cham. https://doi.org/10.1007/978-3-030-53291-8_28. [Download](https://www.cs.huji.ac.il/~ornak/publications/cav20.pdf) 

- Roderick Bloem, Barbara Jobstmann, Nir Piterman, Amir Pnueli, Yaniv Saʼar, Synthesis of Reactive(1) designs, Journal of Computer and System Sciences, Volume 78, Issue 3, 2012,
Pages 911-938, ISSN 0022-0000, https://doi.org/10.1016/j.jcss.2011.08.007. [Download](https://www.sciencedirect.com/science/article/pii/S0022000011000869?via%3Dihub)

**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, 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)

- Blake Loring, Duncan Mitchell, Johannes Kinder. Sound regular expression semantics for dynamic symbolic execution of JavaScript. 425-438. [Download](https://arxiv.org/abs/1810.05661)

- Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Bui Phi Diep, Julian Dolby, Petr Janku, Hsin-Hung Lin, Lukás Holík, Wei-Cheng Wu:
Efficient handling of string-number conversion. 943-957. [Download](http://bull.iis.sinica.edu.tw/yfc/lib/exe/fetch.php?media=pldi20main-p869-p-c5307e9--final.pdf)

**Concrete Semantics for Programming Languages:**

- Peter Lammich. Automatic Data Refinement. ITP 2013: 84-99. [Download](http://www21.in.tum.de/~lammich/pub/autoref.pdf)

-  Youngju Song, Minki Cho, Dongjoo Kim, Yonghyun Kim, Jeehoon Kang, Chung-Kil Hur. CompCertM: CompCert with C-assembly linking and lightweight modular verification. Proc. ACM Program. Lang. 4(POPL): 23:1-23:31 (2020) [Download](https://sf.snu.ac.kr/publications/compcertm.pdf)

- Grigore Rosu, Traian-Florin Serbanuta. An overview of the K semantic framework. J. Log. Algebraic Methods Program. 79(6): 397-434 (2010) [Download](http://fsl.cs.illinois.edu/pubs/rosu-serbanuta-2010-jlap.pdf)