[{"tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"type":"conference","publication_status":"published","oa_version":"Published Version","researchdata_availability":"no","OA_type":"gold","publication":"37th International Conference on Concurrency Theory","date_created":"2026-09-13T22:01:54Z","article_number":"6:1-6:7","citation":{"chicago":"Chatterjee, Krishnendu, Thomas A Henzinger, and Nir Piterman. “A Look Back at Strategy Logic.” In <i>37th International Conference on Concurrency Theory</i>, Vol. 391. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2026. <a href=\"https://doi.org/10.4230/LIPIcs.CONCUR.2026.6\">https://doi.org/10.4230/LIPIcs.CONCUR.2026.6</a>.","ama":"Chatterjee K, Henzinger TA, Piterman N. A look back at strategy logic. In: <i>37th International Conference on Concurrency Theory</i>. Vol 391. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2026. doi:<a href=\"https://doi.org/10.4230/LIPIcs.CONCUR.2026.6\">10.4230/LIPIcs.CONCUR.2026.6</a>","ieee":"K. Chatterjee, T. A. Henzinger, and N. Piterman, “A look back at strategy logic,” in <i>37th International Conference on Concurrency Theory</i>, Liverpool, United Kingdom, 2026, vol. 391.","apa":"Chatterjee, K., Henzinger, T. A., &#38; Piterman, N. (2026). A look back at strategy logic. In <i>37th International Conference on Concurrency Theory</i> (Vol. 391). Liverpool, United Kingdom: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. <a href=\"https://doi.org/10.4230/LIPIcs.CONCUR.2026.6\">https://doi.org/10.4230/LIPIcs.CONCUR.2026.6</a>","mla":"Chatterjee, Krishnendu, et al. “A Look Back at Strategy Logic.” <i>37th International Conference on Concurrency Theory</i>, vol. 391, 6:1-6:7, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2026, doi:<a href=\"https://doi.org/10.4230/LIPIcs.CONCUR.2026.6\">10.4230/LIPIcs.CONCUR.2026.6</a>.","ista":"Chatterjee K, Henzinger TA, Piterman N. 2026. A look back at strategy logic. 37th International Conference on Concurrency Theory. CONCUR: Conference on Concurrency Theory, LIPIcs, vol. 391, 6:1-6:7.","short":"K. Chatterjee, T.A. Henzinger, N. Piterman, in:, 37th International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2026."},"language":[{"iso":"eng"}],"date_updated":"2026-09-22T05:54:30Z","das_tickbox":"0","acknowledgement":" Krishnendu Chatterjee: Supported in part by the Austrian Science Fund (FWF) COE\r\ngrant 10.55776/COE12 and the ERC CoG 863818 (ForM-SMArt).\r\nThomas A. Henzinger: Supported in part by the ERC AdG 101020093 (VAMOS) and the FWF\r\nSFB grant F8502 (SPyCoDe).\r\nNir Piterman: Supported in part by the Swedish research council (VR) project no. 2025-05419 and\r\nthe Wallenberg AI, Autonomous Systems and Software Program (WASP) funded by the Knut and\r\nAlice Wallenberg Foundation.\r\nAcknowledgements We thank the jury that our paper introducing Strategy Logic at the Conference\r\non Concurrency Theory (CONCUR) 2007 [10] was chosen for a CONCUR Test-of-Time Award at\r\nCONCUR 2026.","volume":391,"publisher":"Schloss Dagstuhl - Leibniz-Zentrum für Informatik","alternative_title":["LIPIcs"],"publication_identifier":{"isbn":["9783959774475"],"issn":["1868-8969"]},"ddc":["000"],"ec_funded":1,"year":"2026","intvolume":"       391","keyword":["Strategy Logic","Games","Automata"],"month":"08","day":"24","author":[{"orcid":"0000-0002-4561-241X","full_name":"Chatterjee, Krishnendu","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","last_name":"Chatterjee","first_name":"Krishnendu"},{"first_name":"Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","last_name":"Henzinger","full_name":"Henzinger, Thomas A","orcid":"0000-0002-2985-7724"},{"first_name":"Nir","last_name":"Piterman","full_name":"Piterman, Nir"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","fulldoi":"https://doi.org/10.4230/LIPIcs.CONCUR.2026.6","OA_place":"publisher","article_processing_charge":"Yes","supplementarymaterial":"no","file_date_updated":"2026-09-22T05:53:16Z","conference":{"end_date":"2026-09-04","location":"Liverpool, United Kingdom","start_date":"2026-09-01","name":"CONCUR: Conference on Concurrency Theory"},"scopus_import":"1","_id":"22922","status":"public","abstract":[{"lang":"eng","text":"In this note, we recall the history and our motivation behind the development of Strategy Logic and we discuss some of the work that ensued from its introduction."}],"title":"A look back at strategy logic","doi":"10.4230/LIPIcs.CONCUR.2026.6","department":[{"_id":"KrCh"},{"_id":"ToHe"}],"project":[{"grant_number":"COE12","_id":"4029cfc7-b034-11f1-9e55-88ab2ff3b6ee","name":"Bilateral Artificial Intelligence (Chatterjee)"},{"call_identifier":"H2020","grant_number":"863818","_id":"0599E47C-7A3F-11EA-A408-12923DDC885E","name":"Formal Methods for Stochastic Models: Algorithms and Applications"},{"grant_number":"101020093","name":"Vigilant Algorithmic Monitoring of Software","_id":"62781420-2b32-11ec-9570-8d9b63373d4d","call_identifier":"H2020"},{"grant_number":"F8502","name":"Interface Theory for Security and Privacy","_id":"34a1b658-11ca-11ed-8bc3-c75229f0241e"}],"corr_author":"1","date_published":"2026-08-24T00:00:00Z","file":[{"access_level":"open_access","file_size":517651,"date_updated":"2026-09-22T05:53:16Z","checksum":"f3995df175701f56a702bdb012e4f710","creator":"dernst","file_id":"22977","content_type":"application/pdf","date_created":"2026-09-22T05:53:16Z","relation":"main_file","file_name":"2026_LIPIcsCONCUR_Chatterjee.pdf","success":1}],"quality_controlled":"1","oa":1,"has_accepted_license":"1"}]