%PDF-1.4 5 0 obj << /S /GoTo /D (section.0.1) >> endobj 8 0 obj (Introduction) endobj 9 0 obj << /S /GoTo /D (section.0.2) >> endobj 12 0 obj (Task-PIOA Framework) endobj 13 0 obj << /S /GoTo /D (subsection.2.1) >> endobj 16 0 obj (Exact implementations and Simulations) endobj 17 0 obj << /S /GoTo /D (section.0.3) >> endobj 20 0 obj (Approximate Implementations and Simulations) endobj 21 0 obj << /S /GoTo /D (subsection.3.1) >> endobj 24 0 obj (Definition of Approximate Simulation) endobj 25 0 obj << /S /GoTo /D (subsection.3.2) >> endobj 28 0 obj (Soundness of Approximate Simulation) endobj 29 0 obj << /S /GoTo /D (section.0.4) >> endobj 32 0 obj (Applications of Approximate Implementations) endobj 33 0 obj << /S /GoTo /D (subsection.4.1) >> endobj 36 0 obj (A Simple Example) endobj 37 0 obj << /S /GoTo /D (subsection.4.2) >> endobj 40 0 obj (Probabilistic Safety) endobj 41 0 obj << /S /GoTo /D (subsection.4.3) >> endobj 44 0 obj (Approximations for Task-PIOAs) endobj 45 0 obj << /S /GoTo /D (section.0.5) >> endobj 48 0 obj (Conclusions) endobj 49 0 obj << /S /GoTo /D (section*.2) >> endobj 52 0 obj (References) endobj 53 0 obj << /S /GoTo /D (section.A) >> endobj 56 0 obj (Appendix: Limits of Chains of Distributions) endobj 57 0 obj << /S /GoTo /D (section.B) >> endobj 60 0 obj (Appendix: Lemmas for Approximate Simulations) endobj 61 0 obj << /S /GoTo /D (subsection.B.1) >> endobj 64 0 obj (Simple Example of Section 4.1) endobj 65 0 obj << /S /GoTo /D [66 0 R /Fit ] >> endobj 69 0 obj << /Length 3532 /Filter /FlateDecode >> stream xڭrБēdNnvRW2N尻JmHO? "iӕJF7n rß\؉ejLivǛxHgFX;X S7C$|sʮVR$ gUݝNMV.Qy̻bѱ>G=C!J$r}@S`ѝbU"E%fQRd2IMEP