{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T06:10:09Z","timestamp":1750227009682,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":19,"publisher":"ACM","license":[{"start":{"date-parts":[[2015,10,4]],"date-time":"2015-10-04T00:00:00Z","timestamp":1443916800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2015,10,4]]},"DOI":"10.1145\/2832920.2832922","type":"proceedings-article","created":{"date-parts":[[2015,11,23]],"date-time":"2015-11-23T13:24:48Z","timestamp":1448285088000},"page":"1-8","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["A Multi-Robot Search Using LEGO Mindstorms -- An Embedded Software Design Project"],"prefix":"10.1145","author":[{"given":"Paula","family":"Herber","sequence":"first","affiliation":[{"name":"University of Potsdam, August-Bebel-Str. 89, 14482 Potsdam, Potsdam, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Verena","family":"Kl\u00f6s","sequence":"additional","affiliation":[{"name":"Technische Universit\u00e4t Berlin Ernst-Reuter-Platz 7, 10587 Berlin Berlin, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2015,10,4]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"crossref","first-page":"200","DOI":"10.1007\/978-3-540-30080-9_7","volume-title":"Formal Methods for the Design of Real-Time Systems, LNCS 3185","author":"Behrmann G.","year":"2004","unstructured":"G. Behrmann , A. David , and K. G. Larsen . A Tutorial on Uppaal . In Formal Methods for the Design of Real-Time Systems, LNCS 3185 , pages 200 -- 236 . Springer , 2004 . G. Behrmann, A. David, and K. G. Larsen. A Tutorial on Uppaal. In Formal Methods for the Design of Real-Time Systems, LNCS 3185, pages 200--236. Springer, 2004."},{"key":"e_1_3_2_1_3_1","unstructured":"Bricx Command Center. http:\/\/bricxcc.sourceforge.net\/.  Bricx Command Center. http:\/\/bricxcc.sourceforge.net\/."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2009.118"},{"key":"e_1_3_2_1_5_1","first-page":"43","volume-title":"IEEE Control. Syst. Mag.","author":"Gawthrop P. J.","year":"2004","unstructured":"P. J. Gawthrop and E. McGookin . A LEGO-based control experiment . In IEEE Control. Syst. Mag. , pages 43 -- 56 . IEEE, 2004 . P. J. Gawthrop and E. McGookin. A LEGO-based control experiment. In IEEE Control. Syst. Mag., pages 43--56. IEEE, 2004."},{"key":"e_1_3_2_1_6_1","unstructured":"GNU ARM toolchain. http:\/\/gnuarm.com\/.  GNU ARM toolchain. http:\/\/gnuarm.com\/."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/IMCSIT.2008.4747308"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICNN.1995.488968"},{"key":"e_1_3_2_1_9_1","first-page":"715","volume-title":"Proc. IEEE Robotics and Automation Conf.","author":"Kim S. H.","year":"2006","unstructured":"S. H. Kim and J. W. Jeon . Educating C language using LEGO Mindstorms robotic invention system 2.0 . In Proc. IEEE Robotics and Automation Conf. , pages 715 -- 720 . IEEE, 2006 . S. H. Kim and J. W. Jeon. Educating C language using LEGO Mindstorms robotic invention system 2.0. In Proc. IEEE Robotics and Automation Conf., pages 715--720. IEEE, 2006."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/TE.2008.919809"},{"key":"e_1_3_2_1_11_1","unstructured":"leJOS. http:\/\/www.lejos.org\/.  leJOS. http:\/\/www.lejos.org\/."},{"key":"e_1_3_2_1_12_1","volume-title":"Proc. Amer. Soc. for Engineering Education Annu. Conf.","author":"McNamara S.","year":"1999","unstructured":"S. McNamara , M. Cyr , C. Rogers , and B. Bratzel . LEGO brick sculptures and robotics in education . In Proc. Amer. Soc. for Engineering Education Annu. Conf. , 1999 . S. McNamara, M. Cyr, C. Rogers, and B. Bratzel. LEGO brick sculptures and robotics in education. In Proc. Amer. Soc. for Engineering Education Annu. Conf., 1999."},{"key":"e_1_3_2_1_13_1","unstructured":"nxtOSEK. http:\/\/lejos-osek.sourceforge.net\/.  nxtOSEK. http:\/\/lejos-osek.sourceforge.net\/."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/SIS.2007.367956"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-69134-1_39"},{"key":"e_1_3_2_1_16_1","unstructured":"Pygame. http:\/\/www.pygame.org\/.  Pygame. http:\/\/www.pygame.org\/."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2004.1302413"},{"key":"e_1_3_2_1_18_1","unstructured":"TOPPERS\/ATK. http:\/\/www.toppers.jp\/en\/.  TOPPERS\/ATK. http:\/\/www.toppers.jp\/en\/."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/TE.2002.808260"}],"event":{"name":"ESWEEK'15: ELEVENTH EMBEDDED SYSTEM WEEK","sponsor":["CEDA Council on Electronic Design Automation","SIGBED ACM Special Interest Group on Embedded Systems","SIGDA ACM Special Interest Group on Design Automation","IEEE CAS","SIGMICRO ACM Special Interest Group on Microarchitectural Research and Processing","IEEE CS"],"location":"Amsterdam Netherlands","acronym":"ESWEEK'15"},"container-title":["Proceedings of the WESE'15: Workshop on Embedded and Cyber-Physical Systems Education"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2832920.2832922","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2832920.2832922","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T05:43:05Z","timestamp":1750225385000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2832920.2832922"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,10,4]]},"references-count":19,"alternative-id":["10.1145\/2832920.2832922","10.1145\/2832920"],"URL":"https:\/\/doi.org\/10.1145\/2832920.2832922","relation":{},"subject":[],"published":{"date-parts":[[2015,10,4]]},"assertion":[{"value":"2015-10-04","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}