%PDF-1.6
%
1 0 obj
<<
/Type/Metadata
/Subtype/XML
/Length 1585
>>
stream
2021-06-06T06:57:50+00:00
2021-05-27T12:39:59+02:00
2021-06-06T06:57:50+00:00
LaTeX
application/pdf
Thesis for phd
On Supervisor Synthesis via Active Automata Learning
Ashfaq Farooqui
uuid:bc4699b1-6cee-4564-b667-16fdc97c02a3
uuid:add7f01b-1da2-45d7-84da-5840587508e6
pdfTeX-1.40.20; modified using iTextSharp 4.1.6 by 1T3XT
endstream
endobj
2 0 obj
<<
/Type/Page
/QITE_pageid
<<
/D(D:20210517104044)
/I 3 0 R
/P 2
/UF 4 0 R
/F 5 0 R
>>
/Contents 6 0 R
/CropBox[0 0 479.055 677.48]
/MediaBox[0 0 479.055 677.48]
/Rotate 0
/Parent 902 0 R
/Resources 7 0 R
/Group
<<
/CS/DeviceRGB
/S/Transparency
/I false
/K false
>>
>>
endobj
3 0 obj
<<
/Title(Thesis for phd)
/Keywords()
/Creator(LaTeX)
/PTEX.Fullbanner(This is pdfTeX, Version 3.14159265-2.6-1.40.20 \(TeX Live 2019\) kpathsea version 6.3.1)
/Trapped/False
/CreationDate(D:20210517080635Z)
/Author(Ashfaq Farooqui)
/Producer(pdfTeX-1.40.20)
/Subject(On Supervisor Synthesis via Active Automata Learning)
/ModDate(D:20210517112946+02'00')
>>
endobj
4 0 obj
( / f i l e 0 0 . c h a l m e r s . s e / h o m e / n i n o s l a v / 2 0 2 1 / M a j 2 0 2 1 / A s h f a q H u s s a i n F a r o o q u i / A s h f a q T h e s i s . p d f )
endobj
5 0 obj
(/file00.chalmers.se/home/ninoslav/2021/Maj 2021/Ashfaq Hussain Farooqui/AshfaqThesis.pdf)
endobj
6 0 obj
<<
/Length 749
/Filter/FlateDecode
>>
stream
xUMO0+rt3N(ն+!-{IIIV;ΤHϼ7 Xpw6AJX-І:i02d"d Q>%'maנe0kmVfu<3} &Bb-xdMBnC
joCpJĹ֡HȾvy TJuF%7CHPq=K* ;'`(IrI0)My_h)ɑT
[vGqB[}?z$Q#2i"y2 6+Fa"*5Sd_Ƽ<4(0TI-1d[d|FȖ+guEEN^dCU
Ӡȧ=:@^pqv~2ybRő3i.o!֖]j:
Ɨ w=S452T@{9䠨Lb/֣״+WS-s>>upb~FYD"ũ8`nODZzâK;mfٲ7+d`xϿgWU:fݸ)$PA8)jYAIfk8F
Us<"DUi/QT$GcL1֏M~}>jvts~
U@fR$(/Ӯ_o7Cуs|ؔ~`9<^w<=
endstream
endobj
7 0 obj
<<
/ExtGState 760 0 R
/ColorSpace 761 0 R
/Font
<<
/F91 762 0 R
/F87 763 0 R
/F93 764 0 R
/F92 765 0 R
/F26 766 0 R
/F67 767 0 R
>>
/Pattern 768 0 R
/ProcSet[/PDF/Text]
>>
endobj
8 0 obj
<<
/Type/Page
/QITE_pageid
<<
/D(D:20210517104044)
/I 3 0 R
/P 3
/UF 4 0 R
/F 5 0 R
>>
/Contents 9 0 R
/CropBox[0 0 479.055 677.48]
/MediaBox[0 0 479.055 677.48]
/Rotate 0
/Parent 902 0 R
/Resources 10 0 R
/Group
<<
/CS/DeviceRGB
/S/Transparency
/I false
/K false
>>
>>
endobj
9 0 obj
<<
/Length 200
/Filter/FlateDecode
>>
stream
xu
0}=&`c4Gx(UAMmR1Ջxe'͒P&+fcHApI
5j#A\jt}FUÂǂr&H5EJjMխN"ٯcK"wq MQFʈ,[7eGʹOмOʇ^ܣI]n1EĊYkL
endstream
endobj
10 0 obj
<<
/ExtGState 760 0 R
/ColorSpace 761 0 R
/Font
<<
/F95 769 0 R
>>
/Pattern 768 0 R
/ProcSet[/PDF/Text]
>>
endobj
11 0 obj
<<
/Type/Page
/QITE_pageid
<<
/D(D:20210517104044)
/I 3 0 R
/P 4
/UF 4 0 R
/F 5 0 R
>>
/Contents 12 0 R
/CropBox[0 0 479.055 677.48]
/MediaBox[0 0 479.055 677.48]
/Rotate 0
/Parent 902 0 R
/Resources 13 0 R
/Group
<<
/CS/DeviceRGB
/S/Transparency
/I false
/K false
>>
>>
endobj
12 0 obj
<<
/Length 19
/Filter/FlateDecode
>>
stream
x3PHW0Pp2A c(
endstream
endobj
13 0 obj
<<
/ExtGState 760 0 R
/ColorSpace 761 0 R
/Pattern 768 0 R
/ProcSet[/PDF]
>>
endobj
14 0 obj
<<
/Type/Page
/QITE_pageid
<<
/D(D:20210517104044)
/I 3 0 R
/P 5
/UF 4 0 R
/F 5 0 R
>>
/Contents 15 0 R
/CropBox[0 0 479.055 677.48]
/MediaBox[0 0 479.055 677.48]
/Rotate 0
/Parent 902 0 R
/Resources 16 0 R
/Group
<<
/CS/DeviceRGB
/S/Transparency
/I false
/K false
>>
>>
endobj
15 0 obj
<<
/Length 2413
/Filter/FlateDecode
>>
stream
xXKsϯ-TՈ#uj*;`PCZu7HQ2=\jn&Sp]Ylď,<7i'EȈrTo~~zCa{E٦
]y˖̳«hb{njWi!tlyt@F7;;X!lMbմK{+:Haa$l%a^Kgߍm-]JM3,0T~( B{0Q$9wncG~z5ݡCwdT{']՛TXpAc-#5]]_xhF[ȥ\25ݞI nx@}ۭqWYN|A6i,ؗYŲE^WCu3 tbp }ȑ-VDݶHfklUazrkƑzwi7cTcԸ$ZYqDˉ$UҴZrTۛC׳,Nz8]vusޙZ0*X(P6f,G[,,T qX