Generalized Rabin(1) Synthesis with Applications to Robust System Synthesis – Author’s notes

This page contains some additional information to the paper “Generalized Rabin(1) Synthesis with Applications to Robust System 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 [Ehl13], Section 12.5.1, which describes the simplification. The construction from Section 4 in the paper can also be simplified, as described in [Ehl13], Section 12.5.2.