A look back at strategy logic

conference paper A look back at strategy logic LIPIcs published yes Krishnendu Chatterjee author 2E5DCA20-F248-11E8-B48F-1D18A9856A870000-0002-4561-241X Thomas A Henzinger author 40876CD8-F248-11E8-B48F-1D18A9856A870000-0002-2985-7724 Nir Piterman author KrCh department ToHe department CONCUR: Conference on Concurrency Theory Bilateral Artificial Intelligence (Chatterjee) project Formal Methods for Stochastic Models: Algorithms and Applications project Vigilant Algorithmic Monitoring of Software project Interface Theory for Security and Privacy project 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. https://research-explorer.ista.ac.at/download/22922/22977/2026_LIPIcsCONCUR_Chatterjee.pdf application/pdfno https://creativecommons.org/licenses/by/4.0/ Schloss Dagstuhl - Leibniz-Zentrum für Informatik2026Liverpool, United Kingdom eng Strategy LogicGamesAutomata 37th International Conference on Concurrency Theory 1868-8969 978395977447510.4230/LIPIcs.CONCUR.2026.6 391 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. K. Chatterjee, T.A. Henzinger, N. Piterman, in:, 37th International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2026. Chatterjee, Krishnendu, et al. “A Look Back at Strategy Logic.” 37th International Conference on Concurrency Theory, 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>. K. Chatterjee, T. A. Henzinger, and N. Piterman, “A look back at strategy logic,” in 37th International Conference on Concurrency Theory, Liverpool, United Kingdom, 2026, vol. 391. Chatterjee, K., Henzinger, T. A., & Piterman, N. (2026). A look back at strategy logic. In 37th International Conference on Concurrency Theory (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> Chatterjee, Krishnendu, Thomas A Henzinger, and Nir Piterman. “A Look Back at Strategy Logic.” In 37th International Conference on Concurrency Theory, 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>. Chatterjee K, Henzinger TA, Piterman N. A look back at strategy logic. In: 37th International Conference on Concurrency Theory. 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> 229222026-09-13T22:01:54Z2026-09-22T05:54:30Z