Sougata Bose, Daniel Hausmann, Soumyajit Paul, Sven Schewe, and Tansholpan Zhanabekova.

Proceedings of the Sixteenth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2025), 2025.