%PDF-1.5
%
1 0 obj
<<
/Metadata 2 0 R
/Names 3 0 R
/OpenAction 4 0 R
/Outlines 5 0 R
/PageMode /UseOutlines
/Pages 6 0 R
/Type /Catalog
>>
endobj
7 0 obj
<<
/Author ()
/CreationDate (D:20170428173540+01'00')
/Creator (LaTeX with hyperref package)
/Keywords ()
/ModDate (D:20170509121022+01'00')
/PTEX.Fullbanner (This is pdfTeX, Version 3.14159265-2.6-1.40.17 \(TeX Live 2016\) kpathsea version 6.2.2)
/Producer (pdfTeX-1.40.17)
/Subject ()
/Title ()
/Trapped /False
>>
endobj
2 0 obj
<<
/Length 3819
/Subtype /XML
/Type /Metadata
>>
stream
application/pdf
2017-04-28T17:35:40+01:00
LaTeX with hyperref package
2017-05-09T12:10:22+01:00
2017-05-09T12:10:22+01:00
pdfTeX-1.40.17
False
This is pdfTeX, Version 3.14159265-2.6-1.40.17 (TeX Live 2016) kpathsea version 6.2.2
uuid:1f5611a4-58db-4cac-9b45-1556dfe3e700
uuid:2367a75d-6400-4980-bb81-692c80bb73b3
endstream
endobj
3 0 obj
<<
/Dests 8 0 R
>>
endobj
4 0 obj
<<
/D [9 0 R /Fit]
/S /GoTo
>>
endobj
5 0 obj
<<
/Count 1
/First 10 0 R
/Last 10 0 R
/Type /Outlines
>>
endobj
6 0 obj
<<
/Count 22
/Kids [11 0 R 12 0 R 13 0 R 14 0 R]
/Type /Pages
>>
endobj
8 0 obj
<<
/Kids [15 0 R 16 0 R 17 0 R 18 0 R]
/Limits [(AMS.10) (theorem.1.2.1)]
>>
endobj
9 0 obj
<<
/Annots [19 0 R 20 0 R 21 0 R 22 0 R 23 0 R]
/Contents 24 0 R
/CropBox [0 0 612 792]
/MediaBox [0 0 612 792]
/Parent 11 0 R
/Resources 25 0 R
/Rotate 0
/Type /Page
>>
endobj
10 0 obj
<<
/A 26 0 R
/Parent 5 0 R
/Title (Symbolic Verification and Strategy Synthesis for Linearly-Priced Probabilistic Timed Automata)
>>
endobj
11 0 obj
<<
/Count 7
/Kids [27 0 R 9 0 R 28 0 R 29 0 R 30 0 R 31 0 R 32 0 R]
/Parent 6 0 R
/Type /Pages
>>
endobj
12 0 obj
<<
/Count 6
/Kids [33 0 R 34 0 R 35 0 R 36 0 R 37 0 R 38 0 R]
/Parent 6 0 R
/Type /Pages
>>
endobj
13 0 obj
<<
/Count 6
/Kids [39 0 R 40 0 R 41 0 R 42 0 R 43 0 R 44 0 R]
/Parent 6 0 R
/Type /Pages
>>
endobj
14 0 obj
<<
/Count 3
/Kids [45 0 R 46 0 R 47 0 R]
/Parent 6 0 R
/Type /Pages
>>
endobj
15 0 obj
<<
/Kids [48 0 R 49 0 R 50 0 R 51 0 R 52 0 R 53 0 R]
/Limits [(AMS.10) (cite.Bel57)]
>>
endobj
16 0 obj
<<
/Kids [54 0 R 55 0 R 56 0 R 57 0 R 58 0 R 59 0 R]
/Limits [(cite.Ber95) (equation.1.4.1)]
>>
endobj
17 0 obj
<<
/Kids [60 0 R 61 0 R 62 0 R 63 0 R 64 0 R 65 0 R]
/Limits [(equation.1.4.2) (page.14)]
>>
endobj
18 0 obj
<<
/Kids [66 0 R 67 0 R 68 0 R 69 0 R 70 0 R]
/Limits [(page.15) (theorem.1.2.1)]
>>
endobj
19 0 obj
<<
/A <<
/D (cite.Alur94atheory)
/S /GoTo
>>
/Border [0 0 1]
/C [0 1 0]
/H /I
/Rect [227.357 235.678 234.331 244.091]
/Subtype /Link
/Type /Annot
>>
endobj
20 0 obj
<<
/A <<
/D (cite.ACD93)
/S /GoTo
>>
/Border [0 0 1]
/C [0 1 0]
/H /I
/Rect [419.824 163.947 426.798 172.36]
/Subtype /Link
/Type /Annot
>>
endobj
21 0 obj
<<
/A <<
/D (cite.HMP92)
/S /GoTo
>>
/Border [0 0 1]
/C [0 1 0]
/H /I
/Rect [427.573 163.947 439.528 172.36]
/Subtype /Link
/Type /Annot
>>
endobj
22 0 obj
<<
/A <<
/D (cite.HNSY94)
/S /GoTo
>>
/Border [0 0 1]
/C [0 1 0]
/H /I
/Rect [440.303 163.947 452.258 172.36]
/Subtype /Link
/Type /Annot
>>
endobj
23 0 obj
<<
/A <<
/D (cite.LPW95)
/S /GoTo
>>
/Border [0 0 1]
/C [0 1 0]
/H /I
/Rect [453.033 163.947 464.988 172.36]
/Subtype /Link
/Type /Annot
>>
endobj
24 0 obj
<<
/Length 2527
/Filter /FlateDecode
>>
stream
xڝYK۸WJI7;fWf69!1|9/R$UrY@F7&|z߽08UM~pؤi (WZo{{a\
uStoW]g^n>C̿论?w0r}//lqз5c9Tf}i$J;`GQtUnU]mzrN;dQ䙯ti)ᣰ؏Ⱥ1X'ӟ,(]G Y'\ZvԨ˛-g#MUGK32Wi'
4dҘ$H9klVq䵯ކyjDx*i
Jo|qg{~]nwpRg5-?>aSOv?mf*ms@puYOv9.DYF)?:hR%,Tv~]
8zwO Fe;w?BRݾq'hoG #`ЂxCvLE"zV˽T>9^?$bcwu$.^ymtmYMQ
y~7mS0P4w,
&L/l1ű´3}^?o$X3=6W7RO6qk|;N1`Ih
St+$
*{1{t7qu+SL_j`9Y8 r]j$_lg*ųk