{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,23]],"date-time":"2025-08-23T00:01:26Z","timestamp":1755907286061,"version":"3.44.0"},"publisher-location":"New York, NY, USA","reference-count":27,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,3,11]],"date-time":"2024-03-11T00:00:00Z","timestamp":1710115200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"name":"UK Research and Innovation (UKRI)","award":["EP\/V00784X\/1"],"award-info":[{"award-number":["EP\/V00784X\/1"]}]},{"name":"Engineering and Physical Sciences Research Council (EPSRC)","award":["EP\/W004364\/1"],"award-info":[{"award-number":["EP\/W004364\/1"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,3,11]]},"DOI":"10.1145\/3610978.3640725","type":"proceedings-article","created":{"date-parts":[[2024,3,10]],"date-time":"2024-03-10T22:55:43Z","timestamp":1710111343000},"page":"172-176","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["The Effect of Predictive Formal Modelling at Runtime on Performance in Human-Swarm Interaction"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-4637-3278","authenticated-orcid":false,"given":"Ayodeji O.","family":"Abioye","sequence":"first","affiliation":[{"name":"Electronics and Computer Science, University of Southampton, Southampton, United Kingdom"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4269-5050","authenticated-orcid":false,"given":"William","family":"Hunt","sequence":"additional","affiliation":[{"name":"Electronics and Computer Science, University of Southampton, Southampton, United Kingdom"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8134-5822","authenticated-orcid":false,"given":"Yue","family":"Gu","sequence":"additional","affiliation":[{"name":"School of Computing Science, University of Glasgow, Glasgow, United Kingdom"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8372-1684","authenticated-orcid":false,"given":"Eike","family":"Schneiders","sequence":"additional","affiliation":[{"name":"School of Computer Science, University of Nottingham, Nottingham, United Kingdom"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4927-5086","authenticated-orcid":false,"given":"Mohammad","family":"Naiseh","sequence":"additional","affiliation":[{"name":"Computing and Informatics, Bournemouth University, Bournemouth, United Kingdom"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8878-2454","authenticated-orcid":false,"given":"Joel E.","family":"Fischer","sequence":"additional","affiliation":[{"name":"School of Computer Science, University of Nottingham, Nottingham, United Kingdom"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9686-4302","authenticated-orcid":false,"given":"Sarvapali D.","family":"Ramchurn","sequence":"additional","affiliation":[{"name":"Electronics and Computer Science, University of Southampton, Southampton, United Kingdom"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6954-1284","authenticated-orcid":false,"given":"Mohammad D.","family":"Soorati","sequence":"additional","affiliation":[{"name":"Electronics and Computer Science, University of Southampton, Southampton, United Kingdom"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3699-6658","authenticated-orcid":false,"given":"Blair","family":"Archibald","sequence":"additional","affiliation":[{"name":"School of Computing Science, University of Glasgow, Glasgow, United Kingdom"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6773-9481","authenticated-orcid":false,"given":"Michele","family":"Sevegnani","sequence":"additional","affiliation":[{"name":"School of Computing Science, University of Glasgow, Glasgow, United Kingdom"}]}],"member":"320","published-online":{"date-parts":[[2024,3,11]]},"reference":[{"key":"e_1_3_2_2_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/RO-MAN57019.2023.10309454"},{"key":"e_1_3_2_2_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.robot.2021.103915"},{"key":"e_1_3_2_2_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-75632-5"},{"key":"e_1_3_2_2_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2012.292"},{"key":"e_1_3_2_2_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2009.326"},{"key":"e_1_3_2_2_6_1","volume-title":"Proceedings of the 2016 international conference on autonomous agents & multiagent systems. 1209--1217","author":"Boureanu Ioana","year":"2016","unstructured":"Ioana Boureanu, Panagiotis Kouvaros, and Alessio Lomuscio. 2016. Verifying security properties in unbounded multiagent systems. In Proceedings of the 2016 international conference on autonomous agents & multiagent systems. 1209--1217."},{"key":"e_1_3_2_2_7_1","volume-title":"Usability Eval. Ind.","volume":"189","author":"Brooke John","year":"1995","unstructured":"John Brooke. 1995. SUS: A quick and dirty usability scale. Usability Eval. Ind., Vol. 189 (11 1995)."},{"key":"e_1_3_2_2_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2017.2650901"},{"key":"e_1_3_2_2_9_1","volume-title":"Katie Parnell, Mario Brito, Adrian Bodenmann, Sarvapali D Ramchurn, and Mohammad D Soorati.","author":"Clark Jediah R","year":"2022","unstructured":"Jediah R Clark, Mohammad Naiseh, Joel Fischer, Maris\u00e9 Galvez Trigo, Katie Parnell, Mario Brito, Adrian Bodenmann, Sarvapali D Ramchurn, and Mohammad D Soorati. 2022. Industry Led Use-Case Development for Human-Swarm Operations. In AAAI 2022 Spring Symposium Series (Putting AI in the Critical Loop: Assured Trust and Autonomy in Human-Machine Teams). AAAI, 1--6."},{"key":"e_1_3_2_2_10_1","first-page":"189","article-title":"Solution of some problems in the theory of probabilities of significance in automatic telephone exchanges","volume":"10","author":"Erlang Agner Krarup","year":"1917","unstructured":"Agner Krarup Erlang. 1917. Solution of some problems in the theory of probabilities of significance in automatic telephone exchanges. Post Office Electrical Engineer's Journal, Vol. 10 (1917), 189--197.","journal-title":"Post Office Electrical Engineer's Journal"},{"key":"e_1_3_2_2_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-021-00609-z"},{"key":"e_1_3_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/RO-MAN57019.2023.10309626"},{"key":"e_1_3_2_2_13_1","unstructured":"Sandra G Hart. 1986. NASA task load index (TLX). (1986)."},{"key":"e_1_3_2_2_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/3544549.3585673"},{"key":"e_1_3_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.5555\/3545946.3599173"},{"key":"e_1_3_2_2_16_1","volume-title":"Twenty-Fourth International Joint Conference on Artificial Intelligence.","author":"Kouvaros Panagiotis","year":"2015","unstructured":"Panagiotis Kouvaros and Alessio Lomuscio. 2015. Verifying emergent properties of swarms. In Twenty-Fourth International Joint Conference on Artificial Intelligence."},{"key":"e_1_3_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.techsoc.2022.102079"},{"key":"e_1_3_2_2_18_1","doi-asserted-by":"publisher","DOI":"10.5555\/3491440.3491486"},{"key":"e_1_3_2_2_19_1","doi-asserted-by":"publisher","DOI":"10.3390\/rs15133266"},{"key":"e_1_3_2_2_20_1","volume-title":"Outlining the design space of eXplainable swarm (xSwarm): experts perspective. arXiv preprint arXiv:2309.01269","author":"Naiseh Mohammad","year":"2023","unstructured":"Mohammad Naiseh, Mohammad D Soorati, and Sarvapali Ramchurn. 2023. Outlining the design space of eXplainable swarm (xSwarm): experts perspective. arXiv preprint arXiv:2309.01269 (2023)."},{"key":"e_1_3_2_2_21_1","volume-title":"Mario P Brito, Mohammad D Soorati, Katherine L Plant, and Sarvapali D Ramchurn.","author":"Parnell Katie J","year":"2022","unstructured":"Katie J Parnell, Joel E Fischer, Jediah R Clark, Adrian Bodenmann, Maria Jose Galvez Trigo, Mario P Brito, Mohammad D Soorati, Katherine L Plant, and Sarvapali D Ramchurn. 2022. Trustworthy UAV relationships: Applying the Schema Action World taxonomy to UAVs and UAV swarm operations. International Journal of Human-Computer Interaction (2022), 1--17."},{"key":"e_1_3_2_2_22_1","unstructured":"Prolific. 2023. Prolific - quickly find research participants you can trust. https:\/\/www.prolific.co\/"},{"key":"e_1_3_2_2_23_1","volume-title":"Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI). 1184--1192","author":"Ramchurn Sarvapali D","year":"2015","unstructured":"Sarvapali D Ramchurn, Joel E Fischer, Yuki Ikuno, Feng Wu, Jack Flann, and Antony Waldock. 2015. A study of human-agent collaboration for multi-UAV task allocation in dynamic environments. In Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI). 1184--1192."},{"key":"e_1_3_2_2_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/3488242"},{"key":"e_1_3_2_2_25_1","volume-title":"Enabling Trustworthiness in Human-swarm Systems Through a Digital Twin. Putting AI in the Critical Loop","author":"Soorati Mohammad D","year":"2023","unstructured":"Mohammad D Soorati, Mohammad Naiseh, William Hunt, Katie Parnell, Jediah Clark, and Sarvapali D Ramchurn. 2023. Enabling Trustworthiness in Human-swarm Systems Through a Digital Twin. Putting AI in the Critical Loop (2023)."},{"key":"e_1_3_2_2_26_1","unstructured":"Usability.gov Improving the User Experience. 2023. System Usability Scale (SUS). https:\/\/www.usability.gov\/how-to-and-tools\/methods\/system-usability-scale.html"},{"key":"e_1_3_2_2_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/3597512.3599705"}],"event":{"name":"HRI '24: ACM\/IEEE International Conference on Human-Robot Interaction","sponsor":["SIGAI ACM Special Interest Group on Artificial Intelligence","SIGCHI ACM Special Interest Group on Computer-Human Interaction"],"location":"Boulder CO USA","acronym":"HRI '24"},"container-title":["Companion of the 2024 ACM\/IEEE International Conference on Human-Robot Interaction"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3610978.3640725","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3610978.3640725","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,22]],"date-time":"2025-08-22T01:14:47Z","timestamp":1755825287000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3610978.3640725"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,3,11]]},"references-count":27,"alternative-id":["10.1145\/3610978.3640725","10.1145\/3610978"],"URL":"https:\/\/doi.org\/10.1145\/3610978.3640725","relation":{},"subject":[],"published":{"date-parts":[[2024,3,11]]},"assertion":[{"value":"2024-03-11","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}