Ayodeji O. Abioye
The Effect of Predictive Formal Modelling at Runtime on Performance in Human-Swarm Interaction
Abioye, Ayodeji O.; Hunt, William; Gu, Yue; Schneiders, Eike; Naiseh, Mohammad; Fischer, Joel E.; Ramchurn, Sarvapali D.; Soorati, Mohammad D.; Archibald, Blair; Sevegnani, Michele
Authors
William Hunt
Yue Gu
Eike Schneiders
Mohammad Naiseh
Professor JOEL FISCHER Joel.Fischer@nottingham.ac.uk
PROFESSOR OF HUMAN-COMPUTER INTERACTION
Sarvapali D. Ramchurn
Mohammad D. Soorati
Blair Archibald
Michele Sevegnani
Abstract
Formal Modelling is often used as part of the design and testing process of software development to ensure that components operate within suitable bounds even in unexpected circumstances. In this paper, we use predictive formal modelling (PFM) at runtime in a human-swarm mission and show that this integration can be used to improve the performance of human-swarm teams. We recruited 60 participants to operate a simulated aerial swarm to deliver parcels to target locations. In the PFM condition, operators were informed of the estimated completion times given the number of drones deployed, whereas, in the No-PFM condition, operators did not have this information. The operators could control the mission by adding or removing drones from the mission and thereby, increasing or decreasing the overall mission cost. The evaluation of human-swarm performance relied on four metrics: the task completion time, the number of agents, the number of completed tasks, and the cost per task. Our results show that PFM modelling at runtime improves mission performance without significantly affecting the operator's workload or the system's usability.
Citation
Abioye, A. O., Hunt, W., Gu, Y., Schneiders, E., Naiseh, M., Fischer, J. E., Ramchurn, S. D., Soorati, M. D., Archibald, B., & Sevegnani, M. (2024, March). The Effect of Predictive Formal Modelling at Runtime on Performance in Human-Swarm Interaction. Presented at HRI '24: ACM/IEEE International Conference on Human-Robot Interaction, Boulder CO USA
Presentation Conference Type | Edited Proceedings |
---|---|
Conference Name | HRI '24: ACM/IEEE International Conference on Human-Robot Interaction |
Start Date | Mar 11, 2024 |
End Date | Mar 14, 2024 |
Acceptance Date | Dec 1, 2023 |
Online Publication Date | Mar 11, 2024 |
Publication Date | Mar 11, 2024 |
Deposit Date | Mar 15, 2024 |
Publicly Available Date | Mar 19, 2024 |
Publisher | Association for Computing Machinery (ACM) |
Pages | 172-176 |
Book Title | HRI ’24 Companion of the 2024 ACM/IEEE International Conference on Human-Robot Interaction |
ISBN | 9798400703232 |
DOI | https://doi.org/10.1145/3610978.3640725 |
Public URL | https://nottingham-repository.worktribe.com/output/32468169 |
Publisher URL | https://dl.acm.org/doi/10.1145/3610978.3640725 |
Files
3610978.3640725
(2.6 Mb)
PDF
Publisher Licence URL
https://creativecommons.org/licenses/by/4.0/
You might also like
Technology for Environmental Policy: Exploring Perceptions, Values, and Trust in a Citizen Carbon Budget App
(2024)
Presentation / Conference Contribution
Telepresence Robots for Remote Participation in Higher Education
(2024)
Presentation / Conference Contribution
Designing Multispecies Worlds for Robots, Cats, and Humans
(2024)
Presentation / Conference Contribution
TAS for Cats: An Artist-led Exploration of Trustworthy Autonomous Systems for Companion Animals
(2023)
Presentation / Conference Contribution
Downloadable Citations
About Repository@Nottingham
Administrator e-mail: discovery-access-systems@nottingham.ac.uk
This application uses the following open-source libraries:
SheetJS Community Edition
Apache License Version 2.0 (http://www.apache.org/licenses/)
PDF.js
Apache License Version 2.0 (http://www.apache.org/licenses/)
Font Awesome
SIL OFL 1.1 (http://scripts.sil.org/OFL)
MIT License (http://opensource.org/licenses/mit-license.html)
CC BY 3.0 ( http://creativecommons.org/licenses/by/3.0/)
Powered by Worktribe © 2025
Advanced Search