{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,9]],"date-time":"2025-09-09T21:03:55Z","timestamp":1757451835429,"version":"3.37.3"},"reference-count":24,"publisher":"IEEE","license":[{"start":{"date-parts":[[2023,8,26]],"date-time":"2023-08-26T00:00:00Z","timestamp":1693008000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,8,26]],"date-time":"2023-08-26T00:00:00Z","timestamp":1693008000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100005416","name":"Norwegian Research Council (RCN) Robo-Farmer, project","doi-asserted-by":"publisher","award":["336712"],"award-info":[{"award-number":["336712"]}],"id":[{"id":"10.13039\/501100005416","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100000287","name":"Royal Academy of Engineering","doi-asserted-by":"publisher","award":["CiET1718\/45"],"award-info":[{"award-number":["CiET1718\/45"]}],"id":[{"id":"10.13039\/501100000287","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023,8,26]]},"DOI":"10.1109\/case56687.2023.10260395","type":"proceedings-article","created":{"date-parts":[[2023,9,28]],"date-time":"2023-09-28T17:32:23Z","timestamp":1695922343000},"page":"1-7","source":"Crossref","is-referenced-by-count":3,"title":["Probabilistic Modelling and Safety Assurance of an Agriculture Robot Providing Light-Treatment"],"prefix":"10.1109","author":[{"given":"Mustafa","family":"Adam","sequence":"first","affiliation":[{"name":"Norwegian University of Life Sciences (NMBU),Robotics Group, Faculty of Science & Technology,Norway"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kangfeng","family":"Ye","sequence":"additional","affiliation":[{"name":"University of York,Dept. of Computer Science,UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David A.","family":"Anisi","sequence":"additional","affiliation":[{"name":"Norwegian University of Life Sciences (NMBU),Robotics Group, Faculty of Science & Technology,Norway"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ana","family":"Cavalcanti","sequence":"additional","affiliation":[{"name":"University of York,Dept. of Computer Science,UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jim","family":"Woodcock","sequence":"additional","affiliation":[{"name":"University of York,Dept. of Computer Science,UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Robert","family":"Morris","sequence":"additional","affiliation":[{"name":"Saga Robotics AS,Norway"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"doi-asserted-by":"publisher","key":"ref13","DOI":"10.1016\/j.plaphy.2016.07.026"},{"doi-asserted-by":"publisher","key":"ref24","DOI":"10.1016\/j.scico.2021.102766"},{"key":"ref12","article-title":"Towards safe robotic agricultural applications: Safe navigation system design for a robotic grass-mowing application through the risk management method","volume":"12","author":"ba\u00f1os","year":"2023","journal-title":"Robotics"},{"doi-asserted-by":"publisher","key":"ref23","DOI":"10.1016\/j.knosys.2013.06.017"},{"doi-asserted-by":"publisher","key":"ref15","DOI":"10.1007\/978-0-85729-408-1_6"},{"doi-asserted-by":"publisher","key":"ref14","DOI":"10.1007\/s10792-013-9791-x"},{"year":"2021","author":"kwiatkowska","journal-title":"Probabilistic model checking and autonomy","key":"ref20"},{"doi-asserted-by":"publisher","key":"ref11","DOI":"10.1109\/HSI55341.2022.9869472"},{"key":"ref22","first-page":"249","author":"cavalcanti","year":"0","journal-title":"Journal of Software Engineering for Robotics"},{"doi-asserted-by":"publisher","key":"ref10","DOI":"10.1007\/s10270-021-00916-8"},{"key":"ref21","volume":"12","author":"baxter","year":"2021","journal-title":"RoboTool RoboChart Tool Manual"},{"doi-asserted-by":"publisher","key":"ref2","DOI":"10.1094\/PDIS-02-20-0306-RE"},{"doi-asserted-by":"publisher","key":"ref1","DOI":"10.1094\/PDIS-12-15-1440-RE"},{"key":"ref17","first-page":"193","author":"peled","year":"2019","journal-title":"Formal Methods"},{"key":"ref16","article-title":"Another tool in the box: Why use formal methods for autonomous systems?","volume":"abs 2012 856","author":"luckcuck","year":"2020","journal-title":"CoRR"},{"doi-asserted-by":"publisher","key":"ref19","DOI":"10.1145\/1530873.1530882"},{"doi-asserted-by":"publisher","key":"ref18","DOI":"10.1109\/IRC.2019.00059"},{"year":"2021","author":"guevara","journal-title":"Medium-sized AGV for soft-fruit production (MeSAPro) - technical annex","key":"ref8"},{"doi-asserted-by":"publisher","key":"ref7","DOI":"10.1016\/j.engappai.2007.02.012"},{"doi-asserted-by":"publisher","key":"ref9","DOI":"10.1007\/s10270-018-00710-z"},{"year":"2018","journal-title":"Agricultural machinery and tractors — safety of highly automated agricultural machines — principles for design","key":"ref4"},{"doi-asserted-by":"publisher","key":"ref3","DOI":"10.3390\/safety6010001"},{"doi-asserted-by":"publisher","key":"ref6","DOI":"10.1186\/s40537-021-00445-7"},{"year":"2020","author":"smith","journal-title":"The Safety Critical Systems Handbook A Straightforward Guide to Functional Safety IEC 61508 (2010 Edition) IEC 61511 (2015 Edition) and Related Guidance","key":"ref5"}],"event":{"name":"2023 IEEE 19th International Conference on Automation Science and Engineering (CASE)","start":{"date-parts":[[2023,8,26]]},"location":"Auckland, New Zealand","end":{"date-parts":[[2023,8,30]]}},"container-title":["2023 IEEE 19th International Conference on Automation Science and Engineering (CASE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10260321\/10260291\/10260395.pdf?arnumber=10260395","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,10,16]],"date-time":"2023-10-16T17:55:39Z","timestamp":1697478939000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10260395\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,8,26]]},"references-count":24,"URL":"https:\/\/doi.org\/10.1109\/case56687.2023.10260395","relation":{},"subject":[],"published":{"date-parts":[[2023,8,26]]}}}