{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,6]],"date-time":"2026-03-06T22:18:30Z","timestamp":1772835510344,"version":"3.50.1"},"reference-count":106,"publisher":"American Association for the Advancement of Science (AAAS)","issue":"31","funder":[{"name":"European Union\u2019s Seventh Framework Program","award":["608022"],"award-info":[{"award-number":["608022"]}]},{"name":"Central Innovation Programme of the German Federal Government","award":["ZF4086004LP7"],"award-info":[{"award-number":["ZF4086004LP7"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Sci. Robot."],"published-print":{"date-parts":[[2019,6,26]]},"abstract":"<jats:p>Industrial robots are created from modules and safely operated through self-programming and self-verification.<\/jats:p>","DOI":"10.1126\/scirobotics.aaw1924","type":"journal-article","created":{"date-parts":[[2019,6,19]],"date-time":"2019-06-19T23:14:19Z","timestamp":1560986059000},"source":"Crossref","is-referenced-by-count":65,"title":["Effortless creation of safe robots from modules through self-programming and self-verification"],"prefix":"10.1126","volume":"4","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-3733-842X","authenticated-orcid":true,"given":"M.","family":"Althoff","sequence":"first","affiliation":[{"name":"Cyber-Physical Systems Group, Technical University of Munich, 85748 Garching, Germany."}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1275-8161","authenticated-orcid":true,"given":"A.","family":"Giusti","sequence":"additional","affiliation":[{"name":"Cyber-Physical Systems Group, Technical University of Munich, 85748 Garching, Germany."},{"name":"Team of Automation and Mechatronics, Fraunhofer Italia Research, Bolzano 39100, Italy."}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5061-7795","authenticated-orcid":true,"given":"S. B.","family":"Liu","sequence":"additional","affiliation":[{"name":"Cyber-Physical Systems Group, Technical University of Munich, 85748 Garching, Germany."}]},{"given":"A.","family":"Pereira","sequence":"additional","affiliation":[{"name":"Cyber-Physical Systems Group, Technical University of Munich, 85748 Garching, Germany."},{"name":"Institute of Robotics and Mechatronics, German Aerospace Center (DLR), 82234 Wessling, Germany."}]}],"member":"221","reference":[{"key":"e_1_3_2_2_2","doi-asserted-by":"publisher","DOI":"10.1177\/1729881417710457"},{"key":"e_1_3_2_3_2","unstructured":"International Organization for Standardization Safety of machinery\u2014Positioning of safeguards with respect to the approach speeds of parts of the human body ISO Standard 13855:2010 (2010)."},{"key":"e_1_3_2_4_2","unstructured":"International Organization for Standardization Robots and robotic devices\u2014Safety requirements for industrial robots\u2014Part 1: Robots ISO Standard 10218\u20131:2011 (2011)."},{"key":"e_1_3_2_5_2","unstructured":"Reported fatal and non-fatal injuries in Great Britain by kind of accident and broad industry group 2013\u20132018 http:\/\/www.hse.gov.uk\/statistics\/tables\/ridkind.xlsx [accessed 27 February 2019]."},{"key":"e_1_3_2_6_2","doi-asserted-by":"crossref","unstructured":"B. Siciliano L. Sciavicco L. Villani G. Oriolo Robotics: Modelling Planning and Control (Springer 2009).","DOI":"10.1007\/978-1-84628-642-1"},{"key":"e_1_3_2_7_2","doi-asserted-by":"publisher","DOI":"10.1109\/9.701091"},{"key":"e_1_3_2_8_2","doi-asserted-by":"publisher","DOI":"10.1109\/9.746266"},{"key":"e_1_3_2_9_2","doi-asserted-by":"publisher","DOI":"10.1109\/TMECH.2003.816802"},{"key":"e_1_3_2_10_2","doi-asserted-by":"crossref","unstructured":"M. Zhu Y. Li Decentralized adaptive fuzzy control for reconfigurable manipulators in 2008 IEEE Conference on Robotics Automation and Mechatronics (IEEE 2008) pp. 404\u2013409.","DOI":"10.1109\/RAMECH.2008.4681387"},{"key":"e_1_3_2_11_2","doi-asserted-by":"publisher","DOI":"10.1109\/9.847120"},{"key":"e_1_3_2_12_2","doi-asserted-by":"crossref","unstructured":"G. Liu S. Abdul A. A. Goldenberg Distributed modular and reconfigurable robot control with torque sensing in 2006 International Conference on Mechatronics and Automation (IEEE 2006) pp. 384\u2013389.","DOI":"10.1109\/ICMA.2006.257564"},{"key":"e_1_3_2_13_2","doi-asserted-by":"publisher","DOI":"10.1017\/S0263574708004712"},{"key":"e_1_3_2_14_2","unstructured":"W.-H. Zhu Virtual Decomposition Control: Toward Hyper Degrees of Freedom Robots (Springer Science & Business Media 2010) vol. 60."},{"key":"e_1_3_2_15_2","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2013.2265631"},{"key":"e_1_3_2_16_2","unstructured":"C. J. J. Paredis H. B. Brown P. K. Khosla A rapidly deployable manipulator system in IEEE International Conference on Robotics and Automation (IEEE 1996) pp. 1434\u20131439."},{"key":"e_1_3_2_17_2","doi-asserted-by":"publisher","DOI":"10.1115\/1.2805408"},{"key":"e_1_3_2_18_2","doi-asserted-by":"publisher","DOI":"10.1177\/027836499901800207"},{"key":"e_1_3_2_19_2","doi-asserted-by":"crossref","unstructured":"E. Meister E. Nosov P. Levi Automatic onboard and online modelling of modular and self-reconfigurable robots in 2013 6th IEEE Conference on Robotics Automation and Mechatronics (RAM) (IEEE 2013) pp. 91\u201396.","DOI":"10.1109\/RAM.2013.6758565"},{"key":"e_1_3_2_20_2","doi-asserted-by":"publisher","DOI":"10.1177\/027836499501400606"},{"key":"e_1_3_2_21_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.rcim.2006.02.014"},{"key":"e_1_3_2_22_2","doi-asserted-by":"publisher","DOI":"10.1115\/1.4011045"},{"key":"e_1_3_2_23_2","unstructured":"L. Kelmar P. K. Khosla Automatic generation of kinematics for a reconfigurable modular manipulator system in 1988 IEEE International Conference on Robotics and Automation (IEEE 1988) pp. 663\u2013668."},{"key":"e_1_3_2_24_2","doi-asserted-by":"publisher","DOI":"10.1002\/rob.4620060505"},{"key":"e_1_3_2_25_2","doi-asserted-by":"crossref","unstructured":"S. Haddadin A. Albu-Sch\u00e4ffer G. Hirzinger Safety evaluation of physical human-robot interaction via crash-testing in Robotics: Science and Systems (MIT Press 2007) pp. 217\u2013224.","DOI":"10.7551\/mitpress\/7830.003.0029"},{"key":"e_1_3_2_26_2","doi-asserted-by":"crossref","unstructured":"S. Haddadin A. Albu-Schaffer A. De Luca G. Hirzinger Collision detection and reaction: A contribution to safe physical Human-Robot Interaction in 2008 IEEE\/RSJ International Conference on Intelligent Robots and Systems (IEEE 2008) pp. 3356\u20133363.","DOI":"10.1109\/IROS.2008.4650764"},{"key":"e_1_3_2_27_2","doi-asserted-by":"crossref","unstructured":"L. Villani J. De Schutter Force control in Springer Handbook of Robotics B. Siciliano O. Khatib Eds. (Springer 2016) pp. 195\u2013220.","DOI":"10.1007\/978-3-319-32552-1_9"},{"key":"e_1_3_2_28_2","doi-asserted-by":"crossref","unstructured":"R. Rossi M. P. Polverini A. M. Zanchettin P. Rocco A pre-collision control strategy for human-robot interaction based on dissipated energy in potential inelastic impacts in 2015 IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS) (IEEE 2015) pp. 26\u201331.","DOI":"10.1109\/IROS.2015.7353110"},{"key":"e_1_3_2_29_2","doi-asserted-by":"crossref","unstructured":"A. Raatz S. Blankemeyer G. Runge C. Bruns G. Borchert Opportunities and challenges for the design of inherently safe robots in Soft Robotics: Transferring Theory to Application A. Verl A. Albu-Sch\u00e4ffer O. Brock A. Raatz Eds. (Springer 2015) pp. 173\u2013183.","DOI":"10.1007\/978-3-662-44506-8_15"},{"key":"e_1_3_2_30_2","doi-asserted-by":"crossref","unstructured":"M. Grebenstein A. Albu-Sch\u00e4ffer T. Bahls M. Chalon O. Eiberger W. Friedl R. Gruber S. Haddadin U. Hagn R. Haslinger H. H\u00f6ppner S. J\u00f6rg M. Nickl A. Nothhelfer F. Petit J. Reill N. Seitz T. Wimb\u00f6ck S. Wolf T. W\u00fcsthoff G. Hirzinger The DLR hand arm system in 2011 IEEE International Conference on Robotics and Automation (IEEE 2011) pp. 3175\u20133182.","DOI":"10.1109\/ICRA.2011.5980371"},{"key":"e_1_3_2_31_2","doi-asserted-by":"publisher","DOI":"10.1089\/soro.2013.0001"},{"key":"e_1_3_2_32_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.tibtech.2013.03.002"},{"key":"e_1_3_2_33_2","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2015.2489500"},{"key":"e_1_3_2_34_2","unstructured":"M. Althoff thesis Technische Universit\u00e4t M\u00fcnchen (2010)."},{"key":"e_1_3_2_35_2","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2013.2285751"},{"key":"e_1_3_2_36_2","doi-asserted-by":"crossref","unstructured":"E. Asarin T. Dang G. Frehse A. Girard C. Le Guernic O. Maler Recent progress in continuous and hybrid reachability analysis in 2006 IEEE Conference on Computer Aided Control System Design (IEEE 2006) pp. 1582\u20131587.","DOI":"10.1109\/CACSD.2006.285494"},{"key":"e_1_3_2_37_2","doi-asserted-by":"crossref","unstructured":"G. Frehse C. le Guernic A. Donz\u00e9 S. Cotton R. Ray O. Lebeltel R. Ripado A. Girard T. Dang O. Maler SpaceEx: Scalable verification of hybrid systems in 23rd International Conference on Computer Aided Verification (Springer 2011) pp. 379\u2013395.","DOI":"10.1007\/978-3-642-22110-1_30"},{"key":"e_1_3_2_38_2","doi-asserted-by":"publisher","DOI":"10.1163\/1568553042674662"},{"key":"e_1_3_2_39_2","doi-asserted-by":"publisher","DOI":"10.1007\/s10514-011-9258-8"},{"key":"e_1_3_2_40_2","doi-asserted-by":"crossref","unstructured":"O. Khatib Real-time obstacle avoidance for manipulators and mobile robots in Autonomous Robot Vehicles I. J. Cox G. T. Wilfong Eds. (Springer 1990) pp. 396\u2013404.","DOI":"10.1007\/978-1-4613-8997-2_29"},{"key":"e_1_3_2_41_2","doi-asserted-by":"crossref","unstructured":"F. Flacco T. Kr\u00f6ger A. De Luca O. Khatib A depth space approach to human-robot collision avoidance in 2012 IEEE International Conference on Robotics and Automation (IEEE 2012) pp. 338\u2013345.","DOI":"10.1109\/ICRA.2012.6225245"},{"key":"e_1_3_2_42_2","unstructured":"D.-H. Park H. Hoffmann P. Pastor S. Schaal Movement reproduction and obstacle avoidance with dynamic movement primitives and potential fields in Humanoids 2008\u20148th IEEE-RAS International Conference on Humanoid Robots (IEEE 2008) pp. 91\u201398."},{"key":"e_1_3_2_43_2","unstructured":"M. P. Polverini A. M. Zanchettin P. Rocco Real-time collision avoidance in human-robot interaction based on kinetostatic safety field in 2014 IEEE\/RSJ International Conference on Intelligent Robots and Systems (IEEE 2014) pp. 4136\u20134141."},{"key":"e_1_3_2_44_2","doi-asserted-by":"crossref","unstructured":"N. M. Ceriani A. M. Zanchettin P. Rocco Collision avoidance with task constraints and kinematic limitations for dual arm robots in 13th International Conference Intelligent Autonomous Systems (IAS-13) (Springer 2016) pp. 1285\u20131299.","DOI":"10.1007\/978-3-319-08338-4_93"},{"key":"e_1_3_2_45_2","doi-asserted-by":"publisher","DOI":"10.1177\/1687814016659597"},{"key":"e_1_3_2_46_2","doi-asserted-by":"crossref","unstructured":"C. Wright A. Johnson A. Peck Z. McCord A. Naaktgeboren P. Gianfortoni M. Gonzalez-Rivero R. Hatton H. Choset Design of a modular snake robot in 2007 IEEE\/RSJ International Conference on Intelligent Robots and Systems (IEEE 2007) pp. 2609\u20132614.","DOI":"10.1109\/IROS.2007.4399617"},{"key":"e_1_3_2_47_2","doi-asserted-by":"publisher","DOI":"10.1177\/027836499801700702"},{"key":"e_1_3_2_48_2","doi-asserted-by":"publisher","DOI":"10.1016\/S0094-114X(99)00021-X"},{"key":"e_1_3_2_49_2","unstructured":"C. J. J. Paredis P. K. Khosla Synthesis methodology for task based reconfiguration of modular manipulator systems in 6th International Symposium on Robotics Research (ISRR\u201993) (International Foundation for Robotics Research 1993)."},{"key":"e_1_3_2_50_2","unstructured":"S. Farritor S. Dubowsky N. Rutman J. Cole A systems-level modular design approach to field robotics in IEEE International Conference on Robotics and Automation (IEEE 1996) pp. 2890\u20132895."},{"key":"e_1_3_2_51_2","unstructured":"O. Chocron P. Bidaud Evolutionary algorithms in kinematic design of robotic systems IEEE\/RSJ International Conference on Intelligent Robot and Systems (IEEE 1997) pp. 1111\u20131117."},{"key":"e_1_3_2_52_2","unstructured":"W. K. Chung J. Han Y. Youm S. H. Kim Task based design of modular robot manipulator using efficient genetic algorithm in IEEE International Conference on Robotics and Automation (IEEE 1997) pp. 507\u2013512."},{"key":"e_1_3_2_53_2","unstructured":"I.-M. Chen J. W. Burdick Determining task optimal modular robot assembly configurations in IEEE International Conference on Robotics and Automation (IEEE 1995) pp. 132\u2013137."},{"key":"e_1_3_2_54_2","doi-asserted-by":"publisher","DOI":"10.1109\/TMECH.2012.2220560"},{"key":"e_1_3_2_55_2","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2017.2707336"},{"key":"e_1_3_2_56_2","doi-asserted-by":"publisher","DOI":"10.1115\/1.3149599"},{"key":"e_1_3_2_57_2","doi-asserted-by":"publisher","DOI":"10.1163\/156855395X00427"},{"key":"e_1_3_2_58_2","doi-asserted-by":"crossref","unstructured":"A. De Luca L. Ferrajoli A modified Newton-Euler method for dynamic computations in robot fault detection and control in 2009 IEEE International Conference on Robotics and Automation (IEEE 2009) pp. 3359\u20133364.","DOI":"10.1109\/ROBOT.2009.5152618"},{"key":"e_1_3_2_59_2","unstructured":"M. W. Spong S. Hutchinson M. Vidyasagar Robot Modeling and Control (Wiley 2006)."},{"key":"e_1_3_2_60_2","doi-asserted-by":"publisher","DOI":"10.1177\/027836498700600303"},{"key":"e_1_3_2_61_2","doi-asserted-by":"publisher","DOI":"10.1109\/56.809"},{"key":"e_1_3_2_62_2","doi-asserted-by":"publisher","DOI":"10.1109\/3516.622971"},{"key":"e_1_3_2_63_2","doi-asserted-by":"crossref","unstructured":"P. Hsu J. Hauser S. Sastry Dynamic control of redundant manipulators in 1988 American Control Conference (IEEE 1988) pp. 2135\u20132139.","DOI":"10.23919\/ACC.1988.4790077"},{"key":"e_1_3_2_64_2","first-page":"97","article-title":"Robot redundancy resolution at the acceleration level","volume":"4","author":"De Luca A.","year":"1992","unstructured":"A. De Luca, G. Oriolo, B. Siciliano, Robot redundancy resolution at the acceleration level. Laboratory Robotics and Automation 4, 97\u2013106 (1992).","journal-title":"Laboratory Robotics and Automation"},{"key":"e_1_3_2_65_2","unstructured":"H. M. Choset K. M. Lynch S. Hutchinson G. Kantor W. Burgard L. E. Kavraki S. Thrun Principles of Robot Motion: Theory Algorithms and Implementation (MIT Press 2005)."},{"key":"e_1_3_2_66_2","doi-asserted-by":"crossref","unstructured":"S. M. LaValle Planning Algorithms (Cambridge Univ. Press 2006).","DOI":"10.1017\/CBO9780511546877"},{"key":"e_1_3_2_67_2","doi-asserted-by":"publisher","DOI":"10.1109\/70.508439"},{"key":"e_1_3_2_68_2","doi-asserted-by":"crossref","unstructured":"A. Shkolnik R. Tedrake Path planning in 1000+ dimensions using a task-space Voronoi bias in 2009 IEEE International Conference on Robotics and Automation (IEEE 2009) pp. 2061\u20132067.","DOI":"10.1109\/ROBOT.2009.5152638"},{"key":"e_1_3_2_69_2","doi-asserted-by":"publisher","DOI":"10.1109\/LRA.2017.2655565"},{"key":"e_1_3_2_70_2","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2016.2581216"},{"key":"e_1_3_2_71_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.jmsy.2017.04.009"},{"key":"e_1_3_2_72_2","doi-asserted-by":"publisher","DOI":"10.1177\/1071181311551298"},{"key":"e_1_3_2_73_2","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2009.2035744"},{"key":"e_1_3_2_74_2","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2017.2707129"},{"key":"e_1_3_2_75_2","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)00202-T"},{"key":"e_1_3_2_76_2","doi-asserted-by":"crossref","unstructured":"H. T\u00e4ubig B. B\u00e4uml U. Frese Real-time swept volume and distance computation for self collision detection in 2011 IEEE\/RSJ International Conference on Intelligent Robots and Systems (IEEE 2011) pp. 1585\u20131592.","DOI":"10.1109\/IROS.2011.6094611"},{"key":"e_1_3_2_77_2","doi-asserted-by":"crossref","unstructured":"C. Ericson Real-Time Collision Detection (CRC Press 2005).","DOI":"10.1201\/b14581"},{"key":"e_1_3_2_78_2","unstructured":"M. Salem K. Dautenhahn Evaluating trust and safety in HRI: Practical issues and ethical challenges in Workshop \u201cEmerging Policy and Ethics of Human-Robot Interaction\u201d at ACM\/IEEE Int. Conf. Human Robot Interaction (IEEE 2015)."},{"key":"e_1_3_2_79_2","doi-asserted-by":"publisher","DOI":"10.1080\/00140139208967392"},{"key":"e_1_3_2_80_2","doi-asserted-by":"crossref","unstructured":"J. Pan S. Chitta D. Manocha FCL: A general purpose library for collision and proximity queries in 2012 IEEE International Conference on Robotics and Automation (IEEE 2012) pp. 3859\u20133866.","DOI":"10.1109\/ICRA.2012.6225337"},{"key":"e_1_3_2_81_2","doi-asserted-by":"crossref","unstructured":"B. Akan A. Ameri B. \u00c7\u00fcr\u00fckl\u00fc L. Asplund Intuitive industrial robot programming through incremental multimodal language and augmented reality in 2011 IEEE International Conference on Robotics and Automation (IEEE 2011) pp. 3934\u20133939.","DOI":"10.1109\/ICRA.2011.5979887"},{"key":"e_1_3_2_82_2","doi-asserted-by":"crossref","unstructured":"G. F. Rossano C. Martinez M. Hedelind S. Murphy T. A. Fuhlbrigge Easy robot programming concepts: An industrial perspective in 2013 IEEE International Conference on Automation Science and Engineering (CASE) (IEEE 2013) pp. 1119\u20131126.","DOI":"10.1109\/CoASE.2013.6654035"},{"key":"e_1_3_2_83_2","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2004.1260727"},{"key":"e_1_3_2_84_2","doi-asserted-by":"crossref","unstructured":"C. G. Atkeson B. P. W. Babu N. Banerjee D. Berenson C. P. Bove X. Cui M. DeDonato R. Du S. Feng P. Franklin M. Gennert J. P. Graff P. He A. Jaeger J. Kim K. Knoedler L. Li C. Liu X. Long T. Padir F. Polido G. G. Tighe X. Xinjilefu No falls no resets: Reliable humanoid behavior in the DARPA robotics challenge in 2015 IEEE-RAS 15th International Conference on Humanoid Robots (Humanoids) (IEEE 2015) pp. 623\u2013630.","DOI":"10.1109\/HUMANOIDS.2015.7363436"},{"key":"e_1_3_2_85_2","doi-asserted-by":"crossref","unstructured":"J. Inoue F. Kanehiro M. Morisawa A. Mori Detecting errors in a humanoid robot in 2018 IEEE International Conference on Software Quality Reliability and Security (QRS) (IEEE 2018) pp. 163\u2013170.","DOI":"10.1109\/QRS.2018.00030"},{"key":"e_1_3_2_86_2","doi-asserted-by":"publisher","DOI":"10.1016\/S0007-8506(07)63232-6"},{"key":"e_1_3_2_87_2","doi-asserted-by":"publisher","DOI":"10.1080\/00207540600905646"},{"key":"e_1_3_2_88_2","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2013.43"},{"key":"e_1_3_2_89_2","doi-asserted-by":"crossref","unstructured":"A. Chiappini A. Cimatti L. Macchi O. Rebollo M. Roveri A. Susi S. Tonetta B. Vittorini Formalization and validation of a subset of the European train control system in 2010 ACM\/IEEE 32nd International Conference on Software Engineering (IEEE 2010) pp. 109\u2013118.","DOI":"10.1145\/1810295.1810312"},{"key":"e_1_3_2_90_2","doi-asserted-by":"publisher","DOI":"10.1007\/s10514-011-9271-y"},{"key":"e_1_3_2_91_2","doi-asserted-by":"crossref","unstructured":"F. Immler Verified reachability analysis of continuous systems in 21st International Conference Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2015) (Springer 2015) pp. 37\u201351.","DOI":"10.1007\/978-3-662-46681-0_3"},{"key":"e_1_3_2_92_2","unstructured":"A. De Luca Feedforward\/feedback laws for the control of flexible robots in IEEE International Conference on Robotics and Automation (IEEE 2000) pp. 233\u2013240."},{"key":"e_1_3_2_93_2","doi-asserted-by":"publisher","DOI":"10.1177\/0278364907073776"},{"key":"e_1_3_2_94_2","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2018.2861917"},{"key":"e_1_3_2_95_2","doi-asserted-by":"crossref","unstructured":"S. B. Liu H. Roehm C. Heinzemann I. L\u00fctkebohle J. Oehlerking M. Althoff Provably safe motion of mobile robots in human environments in 2017 IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS) (IEEE 2017) pp. 1351\u20131357.","DOI":"10.1109\/IROS.2017.8202313"},{"key":"e_1_3_2_96_2","doi-asserted-by":"crossref","unstructured":"M. Koschi C. Pek M. Althoff Set-based prediction of pedestrians in urban environments considering formalized traffic rules in 21st IEEE International Conference on Intelligent Transportation Systems (IEEE 2018) pp. 2704\u20132711.","DOI":"10.1109\/ITSC.2018.8569434"},{"key":"e_1_3_2_97_2","doi-asserted-by":"publisher","DOI":"10.1145\/2883817.2883828"},{"key":"e_1_3_2_98_2","doi-asserted-by":"publisher","DOI":"10.1109\/TBME.2007.901024"},{"key":"e_1_3_2_99_2","doi-asserted-by":"crossref","unstructured":"C. Stark A. Pereira M. Althoff Reachset conformance testing of human arms with a biomechanical model in IEEE International Conference on Robotic Computing (IEEE 2018) pp. 209\u2013216.","DOI":"10.1109\/IRC.2018.00045"},{"key":"e_1_3_2_100_2","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-009-0066-0"},{"key":"e_1_3_2_101_2","doi-asserted-by":"publisher","DOI":"10.1093\/biomet\/52.3-4.591"},{"key":"e_1_3_2_102_2","doi-asserted-by":"publisher","DOI":"10.1080\/01621459.1952.10483441"},{"key":"e_1_3_2_103_2","doi-asserted-by":"publisher","DOI":"10.1017\/S0263574798000290"},{"key":"e_1_3_2_104_2","unstructured":"M. Althoff An introduction to CORA 2015 in 1st and 2nd International Workshop on Applied Verification for Continuous and Hybrid Systems (EasyChair 2015) pp. 120\u2013151."},{"key":"e_1_3_2_105_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.rcim.2014.06.004"},{"key":"e_1_3_2_106_2","doi-asserted-by":"publisher","DOI":"10.3182\/20140824-6-ZA-1003.01079"},{"key":"e_1_3_2_107_2","doi-asserted-by":"crossref","unstructured":"C. Gaz F. Flacco A. De Luca Extracting feasible robot parameters from dynamic coefficients using nonlinear optimization methods. in IEEE International Conference on Robotics and Automation (IEEE 2016) pp. 2075\u20132081.","DOI":"10.1109\/ICRA.2016.7487356"}],"container-title":["Science Robotics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/syndication.highwire.org\/content\/doi\/10.1126\/scirobotics.aaw1924","content-type":"unspecified","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/www.science.org\/doi\/pdf\/10.1126\/scirobotics.aaw1924","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,16]],"date-time":"2024-01-16T12:02:14Z","timestamp":1705406534000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.science.org\/doi\/10.1126\/scirobotics.aaw1924"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,6,26]]},"references-count":106,"journal-issue":{"issue":"31","published-print":{"date-parts":[[2019,6,26]]}},"alternative-id":["10.1126\/scirobotics.aaw1924"],"URL":"https:\/\/doi.org\/10.1126\/scirobotics.aaw1924","relation":{},"ISSN":["2470-9476"],"issn-type":[{"value":"2470-9476","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019,6,26]]},"article-number":"eaaw1924"}}