{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,11]],"date-time":"2025-09-11T16:39:10Z","timestamp":1757608750241,"version":"3.44.0"},"reference-count":17,"publisher":"IEEE","license":[{"start":{"date-parts":[[2025,5,19]],"date-time":"2025-05-19T00:00:00Z","timestamp":1747612800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,5,19]],"date-time":"2025-05-19T00:00:00Z","timestamp":1747612800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025,5,19]]},"DOI":"10.1109\/icra55743.2025.11127803","type":"proceedings-article","created":{"date-parts":[[2025,9,2]],"date-time":"2025-09-02T17:28:56Z","timestamp":1756834136000},"page":"1736-1742","source":"Crossref","is-referenced-by-count":0,"title":["Towards Autonomous Verification: Integrating Cognitive AI and Semantic Digital Twins in Medical Robotics"],"prefix":"10.1109","author":[{"given":"Patrick","family":"Mania","sequence":"first","affiliation":[{"name":"Institute for Artificial Intelligence, University of Bremen,Germany"}]},{"given":"Michael","family":"Neumann","sequence":"additional","affiliation":[{"name":"Institute for Artificial Intelligence, University of Bremen,Germany"}]},{"given":"Franklin Kenghagho","family":"Kenfack","sequence":"additional","affiliation":[{"name":"Institute for Artificial Intelligence, University of Bremen,Germany"}]},{"given":"Michael","family":"Beetz","sequence":"additional","affiliation":[{"name":"Institute for Artificial Intelligence, University of Bremen,Germany"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1002\/9783527805297.ch3"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1177\/2211068216632349"},{"key":"ref3","first-page":"159","article-title":"Foundations of the Socio-Physical Model of Activities (SOMA) for Au-tonomous Robotic Agents 1","volume-title":"Formal ontology in information systems","author":"BeBler","year":"2021"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1038\/s41586-020-2442-2"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/ICCV48922.2021.00951"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/CVPR.2016.90"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1177\/2211068215599786"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/CVPR52688.2022.01167"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA57147.2024.10610743"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/iros51168.2021.9636359"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.3389\/fcimb.2023.1188684"},{"key":"ref12","article-title":"URoboSim - a simulation-based predictive modelling engine forcognition-enabled robot manipulation","volume-title":"2nd Embodied AI Workshop (CVPR)","author":"Neumann","year":"2021"},{"key":"ref13","first-page":"223","article-title":"Robotizing the sterility testing process: scientific challenges for bringing ag-ile robots into the laboratory","volume-title":"Iberian Robotics conference","author":"Remazeilles","year":"2022"},{"key":"ref14","first-page":"106","article-title":"A review on robotics in life science automation","volume-title":"Proceedings of the AIS 2019 14th international symposium on applied informatics and related areas organized in the frame of Hungarian science festival","author":"Wolf","year":"2019"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/j.slast.2021.11.003"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1515\/CCLM.2010.192"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/j.eng.2020.01.011"}],"event":{"name":"2025 IEEE International Conference on Robotics and Automation (ICRA)","start":{"date-parts":[[2025,5,19]]},"location":"Atlanta, GA, USA","end":{"date-parts":[[2025,5,23]]}},"container-title":["2025 IEEE International Conference on Robotics and Automation (ICRA)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11127273\/11127223\/11127803.pdf?arnumber=11127803","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,3]],"date-time":"2025-09-03T06:48:16Z","timestamp":1756882096000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11127803\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,5,19]]},"references-count":17,"URL":"https:\/\/doi.org\/10.1109\/icra55743.2025.11127803","relation":{},"subject":[],"published":{"date-parts":[[2025,5,19]]}}}