Proceedings of the Sixteenth International Symposium on Games, Automata, Logics, and Formal Verification

Giorgio Bacci, Adrian Francalanza

This volume contains the proceedings of GandALF 2025, the Sixteenth International Symposium on Games, Automata, Logics, and Formal Verification. GandALF 2025 took place on 16-17th…