%PDF-1.4
%
1 0 obj
<>stream
application/pdfACM2018 IEEE/ACM 1st International Workshop on Robotics Software Engineering (RoSE);2018; ; ; Swarm RoboticsSoftware EngineeringSafetyModel ExtractionModel CheckingDomain-specific LanguagesEngineering Safety in Swarm RoboticsGiovanni BeltrameEttore MerloJacopo PaneratiCarlo Pinciroli
2018 IEEE/ACM 1st International Workshop on Robotics Software Engineering (RoSE)36 May 2018 39
endstream
endobj
2 0 obj
<>
endobj
3 0 obj
<>stream
h$AHQsvvښJz.fH/]#Zd` :oK%買Db"I{DIi۾|K6>JR2T~mL0/TeLf:`G?NǛS|15#;R3A0퉠4;&|9]\a( [E%yGz{YշY>Kӄ"ga
5Uxāe?>fvRWBbåiK<%1` q
endstream
endobj
4 0 obj
<>stream
hTQn0+*HR>Ԥ;BmHfdzScgh{N@ռ_
:84A(9nC>4tDkp@3Cu
[ƏO>M]V}c8YI!AT9ǎk>c2I(0QDUL!'щȨI-%\F0~Tu0O{Ue۴/⽾Yȵ Gofv~o
D
endstream
endobj
5 0 obj
<>stream
HWK۸ϯБ I=ޱw(JٮFPLڕA;&óѪ4ي۟$,qEū]}Wŋ-mg[/E$qq$#i(ն|h'&
ErqvD'Q6Q%VkxaQs%_3EQIU}oM%s