{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:48:53Z","timestamp":1740098933508,"version":"3.37.3"},"publisher-location":"Cham","reference-count":19,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319668444"},{"type":"electronic","value":"9783319668451"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-66845-1_16","type":"book-chapter","created":{"date-parts":[[2017,8,26]],"date-time":"2017-08-26T11:37:20Z","timestamp":1503747440000},"page":"243-259","source":"Crossref","is-referenced-by-count":0,"title":["Synthesizing Coalitions for Multi-agent Games"],"prefix":"10.1007","author":[{"given":"Wei","family":"Ji","sequence":"first","affiliation":[]},{"given":"Farn","family":"Wang","sequence":"additional","affiliation":[]},{"given":"Peng","family":"Wu","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,8,27]]},"reference":[{"issue":"5","key":"16_CR1","doi-asserted-by":"crossref","first-page":"672","DOI":"10.1145\/585265.585270","volume":"49","author":"R Alur","year":"2002","unstructured":"Alur, R., Henzinger, T.A., Kupferman, O.: Alternating-time temporal logic. J. ACM 49(5), 672\u2013713 (2002)","journal-title":"J. ACM"},{"key":"16_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1007\/978-3-540-92687-0_7","volume-title":"Logical Foundations of Computer Science","author":"T Brihaye","year":"2009","unstructured":"Brihaye, T., Costa, A., Laroussinie, F., Markey, N.: ATL with strategy contexts and bounded memory. In: Artemov, S., Nerode, A. (eds.) LFCS 2009. LNCS, vol. 5407, pp. 92\u2013106. Springer, Heidelberg (2009). doi:\n10.1007\/978-3-540-92687-0_7"},{"key":"16_CR3","unstructured":"Bulling, N., Jamroga, W.: Alternating epistemic \n            $$\\upmu $$\n          -calculus. In: IJCAI, pp. 109\u2013114 (2011)"},{"key":"16_CR4","doi-asserted-by":"crossref","first-page":"677","DOI":"10.1016\/j.ic.2009.07.004","volume":"208","author":"K Chatterjee","year":"2010","unstructured":"Chatterjee, K., Henzinger, T.A., Piterman, N.: Strategy logic. Inf. Comput. 208, 677\u2013693 (2010)","journal-title":"Inf. Comput."},{"key":"16_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"142","DOI":"10.1007\/3-540-48153-2_12","volume-title":"Correct Hardware Design and Verification Methods","author":"EA Emerson","year":"1999","unstructured":"Emerson, E.A., Trefler, R.J.: From asymmetry to full symmetry: new techniques for symmetry reduction in model checking. In: Pierre, L., Kropf, T. (eds.) CHARME 1999. LNCS, vol. 1703, pp. 142\u2013157. Springer, Heidelberg (1999). doi:\n10.1007\/3-540-48153-2_12"},{"key":"16_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"154","DOI":"10.1007\/978-3-642-36742-7_11","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"C-H Huang","year":"2013","unstructured":"Huang, C.-H., Schewe, S., Wang, F.: Model-checking iterated games. In: Piterman, N., Smolka, S.A. (eds.) TACAS 2013. LNCS, vol. 7795, pp. 154\u2013168. Springer, Heidelberg (2013). doi:\n10.1007\/978-3-642-36742-7_11"},{"key":"16_CR7","unstructured":"Jamroga, W., Murano, A.: On module checking and strategies. In: AAMAS, pp. 701\u2013708 (2014)"},{"key":"16_CR8","unstructured":"Jamroga, W., Murano, A.: Module checking of strategic ability. In: AAMAS, pp. 227\u2013235 (2015)"},{"key":"16_CR9","unstructured":"Jones, A.V., Knapik, M., Penczek, W., Lomuscio, A.: Group synthesis for parametric temporal-epistemic logic. In: AAMAS, pp. 1107\u20131114 (2012)"},{"issue":"772","key":"16_CR10","doi-asserted-by":"crossref","first-page":"700","DOI":"10.1098\/rspa.1927.0118","volume":"115","author":"WO Kermack","year":"1927","unstructured":"Kermack, W.O., McKendrick, A.G.: A contribution to the mathematical theory of epidemics. Proc. R. Soc. A Math. Phys. Eng. Sci. 115(772), 700 (1927)","journal-title":"Proc. R. Soc. A Math. Phys. Eng. Sci."},{"issue":"2","key":"16_CR11","doi-asserted-by":"crossref","first-page":"322","DOI":"10.1006\/inco.2000.2893","volume":"164","author":"O Kupferman","year":"2001","unstructured":"Kupferman, O., Vardi, M.Y., Wolper, P.: Module checking. Inf. Comput. 164(2), 322\u2013344 (2001)","journal-title":"Inf. Comput."},{"key":"16_CR12","doi-asserted-by":"crossref","unstructured":"Laroussinie, F., Markey, N.: Satisfiability of ATL with strategy contexts. In: GANDALF, EPTCS, vol. 119, pp. 208\u2013223 (2013)","DOI":"10.4204\/EPTCS.119.18"},{"issue":"1","key":"16_CR13","first-page":"71","volume":"4","author":"KW Lye","year":"2005","unstructured":"Lye, K.W., Wing, M.J.: Game strategies in network security. Int. J. Inf. Secur. 4(1), 71\u201386 (2005)","journal-title":"Int. J. Inf. Secur."},{"key":"16_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1007\/978-3-642-32940-1_15","volume-title":"CONCUR 2012 \u2013 Concurrency Theory","author":"F Mogavero","year":"2012","unstructured":"Mogavero, F., Murano, A., Perelli, G., Vardi, M.Y.: What makes Atl* decidable? A decidable fragment of strategy logic. In: Koutny, M., Ulidowski, I. (eds.) CONCUR 2012. LNCS, vol. 7454, pp. 193\u2013208. Springer, Heidelberg (2012). doi:\n10.1007\/978-3-642-32940-1_15"},{"key":"16_CR15","doi-asserted-by":"crossref","unstructured":"Mogavero, F., Murano, A., Sauro, L.: On the boundary of behavioral strategies. In: LICS, pp. 263\u2013272 (2013)","DOI":"10.1109\/LICS.2013.32"},{"key":"16_CR16","unstructured":"Mogavero, F., Murano, A., Vardi, M.Y.: Reasoning about strategies. In: FSTTCS, pp. 133\u2013144 (2010)"},{"key":"16_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1007\/978-3-540-75596-8_19","volume-title":"Automated Technology for Verification and Analysis","author":"S Pinchinat","year":"2007","unstructured":"Pinchinat, S.: A generic constructive solution for concurrent games with expressive constraints on strategies. In: Namjoshi, K.S., Yoneda, T., Higashino, T., Okamura, Y. (eds.) ATVA 2007. LNCS, vol. 4762, pp. 253\u2013267. Springer, Heidelberg (2007). doi:\n10.1007\/978-3-540-75596-8_19"},{"key":"16_CR18","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1016\/j.artint.2015.08.004","volume":"229","author":"T Rahwan","year":"2015","unstructured":"Rahwan, T., Michalak, T.P., Wooldridge, M., Jennings, N.R.: Coalition structure generation: a survey. Artif. Intell. 229, 139\u2013174 (2015)","journal-title":"Artif. Intell."},{"issue":"3","key":"16_CR19","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1145\/2734117","volume":"37","author":"F Wang","year":"2015","unstructured":"Wang, F., Schewe, S., Huang, C.H.: An extension of ATL with strategy interaction. ACM Trans. Program. Lang. Syst. (TOPLAS) 37(3), 9 (2015)","journal-title":"ACM Trans. Program. Lang. Syst. (TOPLAS)"}],"container-title":["Lecture Notes in Computer Science","Integrated Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-66845-1_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,8,26]],"date-time":"2017-08-26T11:42:12Z","timestamp":1503747732000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-66845-1_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319668444","9783319668451"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-66845-1_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}