Author's notes on the paper “Generalized Rabin(1) Synthesis”

This page contains some additional information to the paper Generalized Rabin(1) Synthesis by Rüdiger Ehlers.

Notes

The next to last paragraph of Section 3.2 (pages 10-11) lacks some details, some of which are important for the correctness of the approach. At the same time, the approach can be simplified. Therefore, interested readers may want to look into my Ph.D. thesis, Section 12.5.1, which describes the simplification. The construction from Section 4 in the paper can also be simplified, as described in Section 12.5.2 of the thesis.