%PDF-1.5
%
934 0 obj
<>
endobj
xref
934 119
0000000016 00000 n
0000002773 00000 n
0000003738 00000 n
0000003783 00000 n
0000003819 00000 n
0000003983 00000 n
0000004025 00000 n
0000004100 00000 n
0000004132 00000 n
0000004174 00000 n
0000004298 00000 n
0000004331 00000 n
0000004378 00000 n
0000004452 00000 n
0000004506 00000 n
0000004553 00000 n
0000004627 00000 n
0000004667 00000 n
0000004709 00000 n
0000004833 00000 n
0000004874 00000 n
0000004921 00000 n
0000004995 00000 n
0000005032 00000 n
0000005079 00000 n
0000005166 00000 n
0000005220 00000 n
0000005267 00000 n
0000005341 00000 n
0000005405 00000 n
0000005447 00000 n
0000005571 00000 n
0000005609 00000 n
0000005656 00000 n
0000005730 00000 n
0000005783 00000 n
0000005830 00000 n
0000005917 00000 n
0000005955 00000 n
0000006002 00000 n
0000006076 00000 n
0000006107 00000 n
0000006149 00000 n
0000006273 00000 n
0000006319 00000 n
0000006366 00000 n
0000006440 00000 n
0000006503 00000 n
0000006550 00000 n
0000006637 00000 n
0000006687 00000 n
0000006734 00000 n
0000006821 00000 n
0000006866 00000 n
0000006913 00000 n
0000006987 00000 n
0000007027 00000 n
0000007069 00000 n
0000007195 00000 n
0000007242 00000 n
0000007289 00000 n
0000007363 00000 n
0000007427 00000 n
0000007474 00000 n
0000007562 00000 n
0000007613 00000 n
0000007660 00000 n
0000007736 00000 n
0000007782 00000 n
0000007825 00000 n
0000007917 00000 n
0000007956 00000 n
0000008000 00000 n
0000008079 00000 n
0000008122 00000 n
0000008195 00000 n
0000008341 00000 n
0000008488 00000 n
0000011198 00000 n
0000011420 00000 n
0000011471 00000 n
0000011495 00000 n
0000011519 00000 n
0000011654 00000 n
0000011791 00000 n
0000011925 00000 n
0000012058 00000 n
0000012192 00000 n
0000012327 00000 n
0000012463 00000 n
0000012599 00000 n
0000012733 00000 n
0000012996 00000 n
0000013682 00000 n
0000025510 00000 n
0000025713 00000 n
0000025737 00000 n
0000027609 00000 n
0000028183 00000 n
0000029074 00000 n
0000055073 00000 n
0000055374 00000 n
0000056183 00000 n
0000067247 00000 n
0000067455 00000 n
0000067488 00000 n
0000074968 00000 n
0000075291 00000 n
0000075925 00000 n
0000092349 00000 n
0000092715 00000 n
0000093455 00000 n
0000111869 00000 n
0000112280 00000 n
0000113041 00000 n
0000135487 00000 n
0000135931 00000 n
0000136795 00000 n
0000002911 00000 n
trailer<<9c1c0795d86d176378c70c5095f769e1>]>>
startxref
0
%%EOF
935 0 obj
<>
endobj
1052 0 obj
<
>stream
xŒ]PLa眶٭VliX!F̎12|Wxm>J|MQZ$QZƘƻn\1y/}
?@``ӱޗeBE(Gy_siNrvt˚kFLP[;Tv81ȯ6o
CLs|!vΰC e! 3NxOK_!.?}*̍6UVU_y!{sN2W銦ۭ;:Ozl'O=hyn3oGJ;~U[_yp[{~C=}][yמ{}Ew17\'ļ7Av HF<31Vp~3G4[`|pl>XbLLƤ/DpdIT3Ə ?XJՑT[ "`Wq'U,>`[mF~a")7ގC":BsXųJ,uDH,$I y<&&pՊjH2ٖPChQ.%uVA7c˴y^ 01+04+k s:Z_sBהAǍc\>{5KD
endstream
endobj
936 0 obj
<>
endobj
937 0 obj
<>
endobj
938 0 obj
<>
endobj
939 0 obj
<>
endobj
940 0 obj
<>
endobj
941 0 obj
(Introduction)
endobj
942 0 obj
<>
endobj
943 0 obj
<>
endobj
944 0 obj
(Preliminaries)
endobj
945 0 obj
<>
endobj
946 0 obj
<>
endobj
947 0 obj
(Well-Structured Transition Systems)
endobj
948 0 obj
<>
endobj
949 0 obj
<>
endobj
950 0 obj
(Ideal Decompositions)
endobj
951 0 obj
<>
endobj
952 0 obj
<>
endobj
953 0 obj
(Backward Coverability)
endobj
954 0 obj
<>
endobj
955 0 obj
<>
endobj
956 0 obj
(Generic Algorithm)
endobj
957 0 obj
<>
endobj
958 0 obj
<>
endobj
959 0 obj
(Coverability for VAS and Reset VAS)
endobj
960 0 obj
<>
endobj
961 0 obj
<>
endobj
962 0 obj
(Ackermann Upper Bounds for VAS and Reset VAS)
endobj
963 0 obj
<>
endobj
964 0 obj
<>
endobj
965 0 obj
(Complexity for VAS)
endobj
966 0 obj
<>
endobj
967 0 obj
<>
endobj
968 0 obj
(Transitions Between Proper Ideals)
endobj
969 0 obj
<>
endobj
970 0 obj
<>
endobj
971 0 obj
(omega-Monotonicity)
endobj
972 0 obj
<>
endobj
973 0 obj
<>
endobj
974 0 obj
(Upper Bound)
endobj
975 0 obj
<>
endobj
976 0 obj
<>
endobj
977 0 obj
(Top-Down Tree Coverability)
endobj
978 0 obj
<>
endobj
979 0 obj
<>
endobj
980 0 obj
(Top-Down Well-Structured Transition Systems)
endobj
981 0 obj
<>
endobj
982 0 obj
<>
endobj
983 0 obj
(Backward Top-Down Coverability)
endobj
984 0 obj
<>
endobj
985 0 obj
<>
endobj
986 0 obj
(Alternating Branching VAS)
endobj
987 0 obj
<>
endobj
988 0 obj
<>
endobj
989 0 obj
(Complexity for ABVAS)
endobj
990 0 obj
<>
endobj
991 0 obj
<>
endobj
992 0 obj
(Bottom-Up Tree Coverability)
endobj
993 0 obj
<>
endobj
994 0 obj
<>
endobj
995 0 obj
(Bottom-Up Well-Structured Transition Systems)
endobj
996 0 obj
<>
endobj
997 0 obj
<>
endobj
998 0 obj
(Backward Bottom-Up Coverability)
endobj
999 0 obj
<>
endobj
1000 0 obj
<>
endobj
1001 0 obj
(Complexity for Meet ABVAS)
endobj
1002 0 obj
<>
endobj
1003 0 obj
<>
endobj
1004 0 obj
(Concluding Remarks)
endobj
1005 0 obj
<>
endobj
1006 0 obj
<>
endobj
1007 0 obj
(Ackermann Upper Bounds)
endobj
1008 0 obj
<>
endobj
1009 0 obj
<>>>
endobj
1010 0 obj
<>>>
endobj
1011 0 obj
<>stream
xڭXwܸ
Щyϣ"%Jy$u=r$FI4" H 8xx^ŁPTYܭD̊ Ku42ʚ:wmC[S`?X\OoA)sB&9c;3nD$~u㾍Wz^AYB(I 8u-?ʣаe?~yf$Y>1\Ya.d*LPykn}6Cҗ83tE9.JXW2[ؼ"Aځ璄,v,MC&(oqעt鱤%9К6qp'*:3ӱ D+/nP\حW6֮lv[6%2[=ٮwt{v3,<492ҩ$yOjܘ)kzt8!\73<=iΛB.]p*@H],UITEPn.>
HyY7T*pb,.NQ*O%2%ղ:S=)}>ehzc9f7p즧Ϊ62amK0Wlxnw
j`A~E\l(z|@ETkG^.ެmPFiHcs=WtY֖'c6NIcK>>tNH m&30_Zd}+ϕao'
j{IHBoL; l~3[01JhDyA{e 4KΪk7bHoW{9ncjK
f[ WKK.3-Mh'
VL^--
GT;ıPu6&m]X+2=6t9Q4ONGj?<LXutԮI͊ްG=[lɄadZ0YYo9$ƤNq 'ZS<=ӷNN;pp(7
N(p5Gtl=M3fíE)dP!
#rwx*+=,8|&p ֎JŚ)fqY,: RKo " ȏ@DQeuv?wӖ
e'_սܲg:uk*+Y4ER*aOUSLeݢѴ1'(0cn
|5fwUbQ" Cir|Ahb]L&Κm42w=Q|Q(b:gabTȋyPkzB9]V.oPS\VL;$n}4|ӓ|B#"MN8 봝ʹ8I1u
(o>^fuECl7