Countdown μ-calculus by Kołodziejski, J, Klin, B

Polyregular functions on unordered trees of bounded height by Bojańczyk, M, Klin, B

Orbit-finite-dimensional vector spaces and weighted register automata by Bojańczyk, M, Fijalkow, J, Klin, B, Moerman, J

Codensity games for bisimilarity by Komorida, Y, Katsumata, S-Y, Hu, N, Klin, B, Humeau, S, Eberhart, C, Hasuo, I