A Look Back at Strategy Logic
Paper in proceeding, 2026
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.
Games
Strategy Logic
Automata
Author
Krishnendu Chatterjee
Institute of Science and Technology Austria
T. A. Henzinger
Institute of Science and Technology Austria
Nir Piterman
Chalmers, Computer Science and Engineering (Chalmers), Computing Science
Leibniz International Proceedings in Informatics, LIPIcs
18688969 (ISSN)
Vol. 391 69783959774475 (ISBN)
37th International Conference on Concurrency Theory, CONCUR 2026
Liverpool, United Kingdom,
Liverpool, United Kingdom,
Subject Categories (SSIF 2025)
Computer Sciences
DOI
10.4230/LIPIcs.CONCUR.2026.6