Course on “Game-Theoretic Approach to Planning and Synthesis” accepted at ESSAI’23! See you in Ljubljana!