%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:20150506132013+01'00')
/Creator (LaTeX with hyperref package)
/Keywords ()
/ModDate (D:20150519103227+01'00')
/PTEX.Fullbanner (This is pdfTeX, Version 3.1415926-2.5-1.40.14 \(TeX Live 2013\) kpathsea version 6.1.1)
/Producer (pdfTeX-1.40.14)
/Subject ()
/Title ()
/Trapped /False
>>
endobj
2 0 obj
<<
/Length 4066
/Subtype /XML
/Type /Metadata
>>
stream
application/pdf
2015-05-06T13:20:13+01:00
LaTeX with hyperref package
2015-05-19T10:32:27+01:00
2015-05-19T10:32:27+01:00
pdfTeX-1.40.14
False
This is pdfTeX, Version 3.1415926-2.5-1.40.14 (TeX Live 2013) kpathsea version 6.1.1
uuid:fb38c5f0-b5ca-4930-8a95-cef077b8a148
uuid:928188e0-5167-4e4f-97eb-391445d44955
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 19
/Kids [11 0 R 12 0 R 13 0 R]
/Type /Pages
>>
endobj
8 0 obj
<<
/Kids [14 0 R 15 0 R 16 0 R]
/Limits [(Doc-Start) (subsection.1.5.2)]
>>
endobj
9 0 obj
<<
/Annots [17 0 R 18 0 R 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 (Direct formal verification of liveness properties in continuous and hybrid dynamical systems )
>>
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
<<
/Kids [45 0 R 46 0 R 47 0 R 48 0 R 49 0 R 50 0 R]
/Limits [(Doc-Start) (cite.Prajna04)]
>>
endobj
15 0 obj
<<
/Kids [51 0 R 52 0 R 53 0 R 54 0 R 55 0 R 56 0 R]
/Limits [(cite.PrajnaRantzer:HSCC2005) (page.9)]
>>
endobj
16 0 obj
<<
/Kids [57 0 R 58 0 R 59 0 R 60 0 R]
/Limits [(proposition.10) (subsection.1.5.2)]
>>
endobj
17 0 obj
<<
/A <<
/D (cite.Lamport:TSE1977)
/S /GoTo
>>
/Border [0 0 1]
/C [0 1 0]
/H /I
/Rect [147.86 315.633 159.815 324.559]
/Subtype /Link
/Type /Annot
>>
endobj
18 0 obj
<<
/A <<
/D (cite.OwickiLamport:TPLS1982)
/S /GoTo
>>
/Border [0 0 1]
/C [0 1 0]
/H /I
/Rect [160.313 315.633 172.268 324.559]
/Subtype /Link
/Type /Annot
>>
endobj
19 0 obj
<<
/A <<
/D (cite.AlpernSchneider:IPL1985)
/S /GoTo
>>
/Border [0 0 1]
/C [0 1 0]
/H /I
/Rect [381.751 315.772 388.725 324.559]
/Subtype /Link
/Type /Annot
>>
endobj
20 0 obj
<<
/A <<
/D (cite.DBLP:journals/logcom/Platzer10)
/S /GoTo
>>
/Border [0 0 1]
/C [0 1 0]
/H /I
/Rect [412.063 183.622 424.018 192.548]
/Subtype /Link
/Type /Annot
>>
endobj
21 0 obj
<<
/A <<
/D (cite.DBLP:journals/jar/Platzer08)
/S /GoTo
>>
/Border [0 0 1]
/C [0 1 0]
/H /I
/Rect [171.847 171.667 183.802 180.593]
/Subtype /Link
/Type /Annot
>>
endobj
22 0 obj
<<
/A <<
/D (cite.Liu:PLS2010)
/S /GoTo
>>
/Border [0 0 1]
/C [0 1 0]
/H /I
/Rect [184.3 171.731 196.255 180.593]
/Subtype /Link
/Type /Annot
>>
endobj
23 0 obj
<<
/A <<
/D (cite.NavarroLopezCarter2010)
/S /GoTo
>>
/Border [0 0 1]
/C [0 1 0]
/H /I
/Rect [168.906 159.851 180.861 168.638]
/Subtype /Link
/Type /Annot
>>
endobj
24 0 obj
<<
/Length 2599
/Filter /FlateDecode
>>
stream
xڅYK6ϯ]mI&=f:Ih-$KmWI$ `qXw?fE8ɢ~
"2 ˟msn&VQ,wQtMK܅4 rYW3[Zb`ڴ-SO~Qw2Mgl}"ܨ$pqBlݻ^Xu]px/εl>מT-c-jE5"I3̖m'l(UgU@O1W;g:pQ$Esq
_m@j y?|s\ß=٣y+\ז{ḾMS;
oX#ɲ22Fw405U~9ٻJ$//f^l f'aV9]0