A look back at strategy logic
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.
Download
Conference Paper
| Published
| English
Scopus indexed
Author
Corresponding author has ISTA affiliation
Department
Grant
Series Title
LIPIcs
Abstract
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.
Keywords
Publishing Year
Date Published
2026-08-24
Proceedings Title
37th International Conference on Concurrency Theory
Publisher
Schloss Dagstuhl - Leibniz-Zentrum für Informatik
Acknowledgement
Krishnendu Chatterjee: Supported in part by the Austrian Science Fund (FWF) COE
grant 10.55776/COE12 and the ERC CoG 863818 (ForM-SMArt).
Thomas A. Henzinger: Supported in part by the ERC AdG 101020093 (VAMOS) and the FWF
SFB grant F8502 (SPyCoDe).
Nir Piterman: Supported in part by the Swedish research council (VR) project no. 2025-05419 and
the Wallenberg AI, Autonomous Systems and Software Program (WASP) funded by the Knut and
Alice Wallenberg Foundation.
Acknowledgements We thank the jury that our paper introducing Strategy Logic at the Conference
on Concurrency Theory (CONCUR) 2007 [10] was chosen for a CONCUR Test-of-Time Award at
CONCUR 2026.
Volume
391
Article Number
6:1-6:7
Conference
CONCUR: Conference on Concurrency Theory
Conference Location
Liverpool, United Kingdom
Conference Date
2026-09-01 – 2026-09-04
ISBN
ISSN
IST-REx-ID
Cite this
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:10.4230/LIPIcs.CONCUR.2026.6
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. https://doi.org/10.4230/LIPIcs.CONCUR.2026.6
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. https://doi.org/10.4230/LIPIcs.CONCUR.2026.6.
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 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.
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:10.4230/LIPIcs.CONCUR.2026.6.
All files available under the following license(s):
Creative Commons Attribution 4.0 International Public License (CC-BY 4.0):
Main File(s)
File Name
2026_LIPIcsCONCUR_Chatterjee.pdf
517.65 KB
Access Level
Open Access
Date Uploaded
2026-09-22
MD5 Checksum
f3995df175701f56a702bdb012e4f710
Google Scholar
ISBN Search