%PDF-1.7
%
1 0 obj
<>stream
application/pdfIEEEComputer;2021;54;9;10.1109/MC.2021.3082991Toward Formal Methods for Smart CitiesMeiyi MaJohn A. StankovicLu Feng
Computer39 Sept. 2021910.1109/MC.2021.30829915448
VoR
endstream
endobj
2 0 obj
<>stream
H4{hw s}\.f(7Ef*MݴbJQy6K5IĤiFiNaQA[_8Y_7Z,m--" DYS|ʩy{,Vjd
a鳟쵛~m2l>N^giD*5Y2OesU9AUیP!88Hq4Osv}мVp PPIz"T(J4GRÜˍw:pR}x1OL$_[ 4z®[(1IpIL205b)'$yz@y՜lp16Hņ4<qh'c(c>FHCxLhfRjn`2TUTuW@("LY]> .y|~QU/ۛJd -mll& *pHTl,A3\>/GwmWs0=C8b"\Wfţ [7Bhi-NݛӲᬼKGTPQk7BX?Ba*>M
<^dr,u[Kn_[{D[o;auq$?~~a6&^ZL$y|4sfY#v"ifY
Ҍ8G4E
X-^2ÞC,;ƂssSWJ3R&^kr(A.A{ɘ+p>8Y'j=bz yo,-+}Q*%I _p
endstream
endobj
3 0 obj
<>
endobj
4 0 obj
<>
endobj
5 0 obj
<>stream
HlRLe;9! Qr^_^\(_8m\W=xbPN
Qb£1<.i3LDq{乪jdeIIRs3\SVָ=
TXisU.q؍RNyT$pK%C^~>"9ݒE"\IEJ!,,W\dXw;-6/GB9G,B ՐBB)&d%! jBɫC\R%6.Uluz,DM:}HPe#z4qa`d(M7PCD.`F0عDA|,5xa6)s(>jDa=DQf $p4Rvd&X^<$ì8
uL:sOl9je2CDNH9T'N%V>Rbx=ȡƃD
Gعzgx5ͅzT\;_})~ZѴE]tcsmE=ƎKl˫g{k={̵k0L,H~9T?!bGb/7ށ~LCEw14P8G
MR^v/>Y8
6x}s!,kpM0ZCߩi}MvhX~*: Hj *+lV3%ڊy_Q?yyrFA7`!zw
mlƺ:a:JC﨧 fСX\YB^O8Lw>mxݵmۮ:dWaN꼝vX[+vC!2FZښ[;'wO;Qdo [V
endstream
endobj
6 0 obj
<>stream
H\͎@