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

No authors of 2209.09333 can endorse.

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

Pierre Ganty and Dario Della Monica are not registered as owners of this paper. (why?)