{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,30]],"date-time":"2026-06-30T23:25:31Z","timestamp":1782861931215,"version":"3.54.5"},"reference-count":44,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"2","license":[{"start":{"date-parts":[[2022,4,1]],"date-time":"2022-04-01T00:00:00Z","timestamp":1648771200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2022,4,1]],"date-time":"2022-04-01T00:00:00Z","timestamp":1648771200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2022,4,1]],"date-time":"2022-04-01T00:00:00Z","timestamp":1648771200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"name":"German Federal Ministry of Economics"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Robot. Autom. Lett."],"published-print":{"date-parts":[[2022,4]]},"DOI":"10.1109\/lra.2021.3133612","type":"journal-article","created":{"date-parts":[[2021,12,9]],"date-time":"2021-12-09T20:58:28Z","timestamp":1639083508000},"page":"770-777","source":"Crossref","is-referenced-by-count":20,"title":["Testing Robot System Safety by Creating Hazardous Human Worker Behavior in Simulation"],"prefix":"10.1109","volume":"7","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-7906-3615","authenticated-orcid":false,"given":"Tom P.","family":"Huck","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8246-9715","authenticated-orcid":false,"given":"Christoph","family":"Ledermann","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9831-3384","authenticated-orcid":false,"given":"Torsten","family":"Kroger","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.3403\/30295037"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.3403\/30187056u"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.5555\/iso12100:2010"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-45477-1_22"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2019.2937471"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2017.8247648"},{"key":"ref7","article-title":"Report on the Application of the COVR Toolkit and its Protocols for the Certification of Cooperative Robot Workstations","author":"Wigand","year":"2020"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-40379-3_3"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/SPCE50045.2020.9296157"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-46212-3_2"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.3403\/30160694"},{"key":"ref12","article-title":"ISO\/TR 14121-2:2012, Safety of Machinery - Risk Assessment - Part 2: Practical Guidance and Examples of Methods","year":"2012"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/j.ssci.2021.105288"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/8179.001.0001"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/ICORR.2013.6650433"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2014.2337275"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.3403\/30309555"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-66266-4_6"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.319.1"},{"key":"ref20","article-title":"Formal verification of an autonomous personal robotic assistant","author":"Webster","year":"2014","journal-title":"AAI Spring Symp. Ser., Symp. Formal Verific. Model. Hum.-Mach. Syst."},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/3434074.3447155"},{"key":"ref22","first-page":"157","article-title":"Formal verification of safety behaviours of the outdoor robot RAVON","volume-title":"Proc. ICINCO-RA (1)","author":"Proetzsch","year":"2007"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/CoASE.2015.7294245"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1613\/jair.1.12190"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1613\/jair.1.12716"},{"key":"ref26","article-title":"Situation coverage-a coverage criterion for testing autonomous robots","author":"Alexander","year":"2015"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC.2019.8917242"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/IVS.2019.8814230"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1145\/3417990.3419484"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/IROS45743.2020.9340696"},{"key":"ref31","article-title":"Efficient falsification approach for autonomous vehicle validation using a parameter optimisation technique based on reinforcement learning","author":"Karunakaran"},{"key":"ref32","article-title":"Traffic models with adversarial vehicle behaviour","author":"Groza"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/DASC.2015.7311450"},{"key":"ref34","article-title":"Hazard analysis through simulation for systems of systems","volume-title":"Proc. 24th Int. Syst. Saf. Conf.","author":"Alexander","year":"2006"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/MODELS-C.2019.00088"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2018.8460635"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA48506.2021.9561668"},{"key":"ref38","article-title":"Falsification of robot safety systems using deep reinforcement learning","author":"Andersson","year":"2021"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-73128-1_9"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-83903-1_13"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1098\/rstb.1997.0108"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1006\/imms.1993.1051"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1145\/363958.363994"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/7.4.308"}],"container-title":["IEEE Robotics and Automation Letters"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7083369\/9647862\/09645356.pdf?arnumber=9645356","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,13]],"date-time":"2024-03-13T21:15:52Z","timestamp":1710364552000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9645356\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,4]]},"references-count":44,"journal-issue":{"issue":"2"},"URL":"https:\/\/doi.org\/10.1109\/lra.2021.3133612","relation":{},"ISSN":["2377-3766","2377-3774"],"issn-type":[{"value":"2377-3766","type":"electronic"},{"value":"2377-3774","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022,4]]}}}