We gratefully acknowledge support from
the Simons Foundation and member institutions.

No authors of 2410.21884 can endorse.

Proceedings Fifteenth International Symposium on Games, Automata, Logics, and Formal Verification

Antonis Achilleos and Adrian Francalanza are not registered as owners of this paper. (why?)