A Look Back at Strategy Logic
Paper i 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
Författare
Krishnendu Chatterjee
Institute of Science and Technology Austria
T. A. Henzinger
Institute of Science and Technology Austria
Nir Piterman
Chalmers, Data- och informationsteknik, 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,
Ämneskategorier (SSIF 2025)
Datavetenskap (datalogi)
DOI
10.4230/LIPIcs.CONCUR.2026.6