%PDF-1.5
%
1 0 obj
<<
/Type /Metadata /Subtype /XML
/Length 2854
>>
stream
Executable Specifications, Statecharts, Scenarios, Rules, Neural Nets, Planning, Search, Machine Learning
MiKTeX pdfTeX-1.40.17
Unknown
This is MiKTeX-pdfTeX 2.9.6000 (1.40.17)
2019-06-10T12:24:18+05:30
TeX
2019-06-10T12:24:18+05:30
2019-06-10T12:24:18+05:30
uuid:70f53404-cb90-4544-9d68-62d05f434303
uuid:060836f7-8244-4832-9976-b681f69f270b
True
https://www.aaai.org
application/pdf
Labor Division with Movable Walls: Composing Executable Specifications with Machine Learning and Search
Copyright c
2019, Association for the Advancement of Artificial
AAAI Proceedings Volume 33 Number 1
David Harel, Assaf Marron, Ariel Rosenfeld, Moshe Vardi and Gera Weiss
Executable Specifications, Statecharts, Scenarios, Rules, Neural Nets, Planning, Search, Machine Learning
endstream
endobj
4 0 obj
<<
/Length 4429
/Filter /FlateDecode
>>
stream
xڝZKsﯘ[FU$̞ĩJM|sHhrL_~I2F?nL;«<(0}~EEq˓2PI\|278Ρ`借)www\kLoJvsƕ
S4=}g:D%7E l"qc,,(PyQ?v=LM@yÉK
ccMuӸ?r|m\Ɓnv(Ҡ.VuɶF7Qot[sၚ}%Q>|a/\^s(
4%A!?;}Y^4<>7Ap\b^q|A'Ty Qʠ{&A*"n[ё
v9|'PYT[9u(eim%eErJ֒⪦wvxA?tP¨&3aߴ?6oo,^L{~'}0GF@L{eIm2gF`CJ
&H
dYBa@* V8˽]Yc5'3CT2oBR5c
;Hd/CXvxU\UƮYc3nAN&U:]X?
5NnN': ٞDφl@
E;iY(]0kǓ=uBs]"T4wgF7K߁'9;ٖR7S_.0o;ZݭN[zBo;,ora8\mʴ𨝁Ge'=|yb~dSe?zIA_x5]
c4W0 Dms2>#J{ -TYUWy0~L-C
/gT6gf
27 l]nV@4\c1TzD!VBe8@>>w-dW\8&5ls0ې
\{>Y5
`?4/eGۘoU-1x9#<ٷ!&ЀuAc1-Lw%gj)gD,Y8tgP%1nL?h+=nITxNT% ?Ѣ2fG3<^O!`ˈx<(6W,I$('Sj{k{R1fՙgڒ'=$]ɠ[][fu#/ bm^R?>,fSۍUC./TW^jlX?ޠMVhV}ϢJ_-gbWA#rF xI
2|}&
kD
` l^wU,u`A֫A!
LMnxΆ(EʢI^"?soY89F n8 >"pꑭk|(`15_D
}ר~d
P1(SWj{.^)$<
}nE&Slc]dl~Kq\v {ќm|=ljb&Ktkc}Je>'J174y@]mj}qkFۀ5ޓ[gBdv`*}+39č`G({n 5ѭp
czGRp7%k,VMC