{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,23]],"date-time":"2025-08-23T05:26:56Z","timestamp":1755926816609,"version":"3.28.0"},"reference-count":45,"publisher":"IEEE","license":[{"start":{"date-parts":[[2023,8,28]],"date-time":"2023-08-28T00:00:00Z","timestamp":1693180800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,8,28]],"date-time":"2023-08-28T00:00:00Z","timestamp":1693180800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100000266","name":"Engineering and Physical Sciences Research Council","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100000266","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023,8,28]]},"DOI":"10.1109\/ro-man57019.2023.10309626","type":"proceedings-article","created":{"date-parts":[[2023,11,13]],"date-time":"2023-11-13T19:07:48Z","timestamp":1699902468000},"page":"541-548","source":"Crossref","is-referenced-by-count":4,"title":["Successful Swarms: Operator Situational Awareness with Modelling and Verification at Runtime"],"prefix":"10.1109","author":[{"given":"Yue","family":"Gu","sequence":"first","affiliation":[{"name":"University of Glasgow,School of Computing Science,Glasgow,UK,G12 8QQ"}]},{"given":"William","family":"Hunt","sequence":"additional","affiliation":[{"name":"University of Southampton,School of Electronics and Computer Science,Southampton,UK,SO17 1BJ"}]},{"given":"Blair","family":"Archibald","sequence":"additional","affiliation":[{"name":"University of Glasgow,School of Computing Science,Glasgow,UK,G12 8QQ"}]},{"given":"Mengwei","family":"Xu","sequence":"additional","affiliation":[{"name":"University of Glasgow,School of Computing Science,Glasgow,UK,G12 8QQ"}]},{"given":"Michele","family":"Sevegnani","sequence":"additional","affiliation":[{"name":"University of Glasgow,School of Computing Science,Glasgow,UK,G12 8QQ"}]},{"given":"Mohammad D.","family":"Soorati","sequence":"additional","affiliation":[{"name":"University of Southampton,School of Electronics and Computer Science,Southampton,UK,SO17 1BJ"}]}],"member":"263","reference":[{"doi-asserted-by":"publisher","key":"ref1","DOI":"10.5898\/JHRI.2.2.Kolling"},{"doi-asserted-by":"publisher","key":"ref2","DOI":"10.1080\/10447318.2022.2108961"},{"doi-asserted-by":"publisher","key":"ref3","DOI":"10.1109\/TSE.2003.1205180"},{"volume-title":"Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems","author":"Liu","article-title":"Task and path planning for multi-agent pickup and delivery","key":"ref4"},{"key":"ref5","first-page":"1711","article-title":"Research challenges and opportunities in multi-agent path finding and multi-agent pickup and delivery problems","volume-title":"Proceedings of the 19th International Conference on Autonomous Agents and MultiAgent Systems","author":"Salzman"},{"key":"ref6","article-title":"Demonstrating performance benefits of human-swarm teaming","author":"Hunt","year":"2023","journal-title":"arXiv preprint arXiv:2303.12390"},{"doi-asserted-by":"publisher","key":"ref7","DOI":"10.1109\/GCAIoT51063.2020.9345890"},{"doi-asserted-by":"publisher","key":"ref8","DOI":"10.1007\/3-540-46029-2_13"},{"doi-asserted-by":"publisher","key":"ref9","DOI":"10.1007\/978-3-642-21292-5_7"},{"doi-asserted-by":"publisher","key":"ref10","DOI":"10.1109\/MMUL.2018.023121167"},{"doi-asserted-by":"publisher","key":"ref11","DOI":"10.1109\/THMS.2015.2480801"},{"doi-asserted-by":"publisher","key":"ref12","DOI":"10.1109\/NAECON.1988.195097"},{"key":"ref13","first-page":"171","article-title":"Situation awareness in human-robot interaction: Challenges and user interface requirements","author":"Riley","year":"2010","journal-title":"Human-Robot Interactions in Future Military Operations"},{"key":"ref14","first-page":"97","article-title":"Situation awareness, information warfare and information dominance","volume-title":"Endsley Consulting","author":"Endsley","year":"1997"},{"doi-asserted-by":"publisher","key":"ref15","DOI":"10.21236\/ada600351"},{"key":"ref16","volume":"2","author":"Festinger","year":"1962","journal-title":"A theory of cognitive dissonance"},{"doi-asserted-by":"publisher","key":"ref17","DOI":"10.1109\/SYSMC.2018.8509744"},{"doi-asserted-by":"publisher","key":"ref18","DOI":"10.1007\/s11721-016-0124-3"},{"doi-asserted-by":"publisher","key":"ref19","DOI":"10.1109\/MRA.2019.2940413"},{"doi-asserted-by":"publisher","key":"ref20","DOI":"10.1145\/3173386.3177008"},{"doi-asserted-by":"publisher","key":"ref21","DOI":"10.24963\/ijcai.2020\/46"},{"key":"ref22","first-page":"1209","article-title":"Verifying security properties in unbounded multiagent systems","volume-title":"Proceedings of the 2016 international conference on autonomous agents & multiagent systems","author":"Boureanu"},{"volume-title":"Twenty-Fourth International Joint Conference on Artificial Intelligence","author":"Kouvaros","article-title":"Verifying emergent properties of swarms","key":"ref23"},{"doi-asserted-by":"publisher","key":"ref24","DOI":"10.1007\/978-3-319-75632-5_1"},{"doi-asserted-by":"publisher","key":"ref25","DOI":"10.1109\/SFCS.1977.32"},{"doi-asserted-by":"publisher","key":"ref26","DOI":"10.1007\/s10009-021-00609-z"},{"doi-asserted-by":"publisher","key":"ref27","DOI":"10.1007\/s10703-019-00337-w"},{"doi-asserted-by":"publisher","key":"ref28","DOI":"10.1016\/j.jlap.2008.08.004"},{"doi-asserted-by":"publisher","key":"ref29","DOI":"10.1109\/MC.2009.326"},{"doi-asserted-by":"publisher","key":"ref30","DOI":"10.1145\/38807.38821"},{"doi-asserted-by":"publisher","key":"ref31","DOI":"10.1145\/1882362.1882367"},{"doi-asserted-by":"publisher","key":"ref32","DOI":"10.1109\/FOSE.2007.14"},{"doi-asserted-by":"publisher","key":"ref33","DOI":"10.1109\/MC.2012.292"},{"doi-asserted-by":"publisher","key":"ref34","DOI":"10.1007\/978-3-642-22110-1_47"},{"doi-asserted-by":"publisher","key":"ref35","DOI":"10.1023\/A:1008739929481"},{"doi-asserted-by":"publisher","key":"ref36","DOI":"10.1007\/978-3-642-16612-9_11"},{"doi-asserted-by":"publisher","key":"ref37","DOI":"10.1007\/3-540-45657-0_17"},{"doi-asserted-by":"publisher","key":"ref38","DOI":"10.1007\/978-3-030-30281-8_4"},{"doi-asserted-by":"publisher","key":"ref39","DOI":"10.1007\/s10009-021-00633-z"},{"doi-asserted-by":"publisher","key":"ref40","DOI":"10.1007\/978-3-030-30446-1_6"},{"doi-asserted-by":"publisher","key":"ref41","DOI":"10.1109\/ICRA.2012.6225053"},{"doi-asserted-by":"publisher","key":"ref42","DOI":"10.1007\/3-540-59496-5_337"},{"volume-title":"Twenty-Fourth International Joint Conference on Artificial Intelligence","author":"Ramchurn","article-title":"A study of human-agent collaboration for multi-UAV task allocation in dynamic environments","key":"ref43"},{"doi-asserted-by":"publisher","key":"ref44","DOI":"10.1109\/TDSC.2017.2650901"},{"doi-asserted-by":"publisher","key":"ref45","DOI":"10.1109\/WF-IoT54382.2022.10152177"}],"event":{"name":"2023 32nd IEEE International Conference on Robot and Human Interactive Communication (RO-MAN)","start":{"date-parts":[[2023,8,28]]},"location":"Busan, Korea, Republic of","end":{"date-parts":[[2023,8,31]]}},"container-title":["2023 32nd IEEE International Conference on Robot and Human Interactive Communication (RO-MAN)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10309296\/10309265\/10309626.pdf?arnumber=10309626","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,14]],"date-time":"2024-03-14T02:31:25Z","timestamp":1710383485000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10309626\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,8,28]]},"references-count":45,"URL":"https:\/\/doi.org\/10.1109\/ro-man57019.2023.10309626","relation":{},"subject":[],"published":{"date-parts":[[2023,8,28]]}}}