%PDF-1.4 % 4 0 obj << /S /GoTo /D (section.1) >> endobj 7 0 obj (Introduction) endobj 8 0 obj << /S /GoTo /D (section.2) >> endobj 11 0 obj (Definitions) endobj 12 0 obj << /S /GoTo /D (section.3) >> endobj 15 0 obj (Scoring Functions for Muller Games) endobj 16 0 obj << /S /GoTo /D (section.4) >> endobj 19 0 obj (Solving Muller Games by Solving Safety Games) endobj 20 0 obj << /S /GoTo /D (section.5) >> endobj 23 0 obj (Permissive Strategies for Muller Games) endobj 24 0 obj << /S /GoTo /D (section.6) >> endobj 27 0 obj (Safety Reductions for Infinite Games) endobj 28 0 obj << /S /GoTo /D (section.7) >> endobj 31 0 obj (Conclusion) endobj 32 0 obj << /S /GoTo /D (appendix.A) >> endobj 35 0 obj (Appendix) endobj 36 0 obj << /S /GoTo /D (subsection.A.1) >> endobj 39 0 obj (Proofs for Section 3) endobj 40 0 obj << /S /GoTo /D (subsection.A.2) >> endobj 43 0 obj (Proofs for Section 4) endobj 44 0 obj << /S /GoTo /D (subsection.A.3) >> endobj 47 0 obj (Proofs for Section 6) endobj 48 0 obj << /S /GoTo /D [49 0 R /Fit ] >> endobj 66 0 obj << /Length 3019 /Filter /FlateDecode >> stream xڽYYs#~_$T9`n?y+Y)*zHHw8Ýcektc8#q]T*/$h }xuWo^Ozk2<]]ݭ*Һ\Uj^_7vwYo.n6*b7ٽ|qtGEʣ".oK_zvFG*W8c)Y=_u;]+|5֟vϰߏ;lw0M ޮg#v[A@cCİ^uB,2ph90tB =L$rH2J2SV}K<4'P<}lg<R?*(?^:u`9X3<4wvx+RmZP|G:1fx]duj0(i\C!mTUTƽLCxI(NEbGFa]sª'R½r"?_ފvlgxa|^J;xV[3-3Q07Y8$Y%yTmsuNIe^G#`o:xMmH ><]'iTUT