Research Data for Paper: A User Study Evaluation of Predictive Formal Modelling at Runtime in Human-Swarm Interaction
Research Data for Paper: A User Study Evaluation of Predictive Formal Modelling at Runtime in Human-Swarm Interaction
This dataset is for the user study conducted to evaluate the performance benefits of predictive formal modelling (PFM) at runtime in a human-swarm interaction experiment. We recruited 180 participants to perform the role of aerial swarm operators conducting a drone delivery mission in a simulation environment using the Human And Robot Interactive Swarm (HARIS) simulator.
Abioye, Ayodeji
3ec89a0b-8e78-4ef6-a1d7-342d8f6da021
Hunt, William
eec4ba79-8870-4657-a2ea-25511ae9dbaa
Schneiders, Eike
9da80af0-1e27-4454-90e2-eb1abf7108bd
Gu, Yue
6aba26f7-9803-4024-a4c4-82c7dfa36baf
Naiseh, Mohammad
2c521cc6-0405-45f8-8d55-7d14eb4e4126
Archibald, Blair
68d001d1-5df4-414d-96ef-b2f45080b4e8
Sevegnani, Michele
f29f5049-e7a3-4086-b624-104ac94195b4
Ramchurn, Gopal
1d62ae2a-a498-444e-912d-a6082d3aaea3
Fischer, Joel
2dde708c-f3ef-4705-b279-d0e063114790
Soorati, Mohammad
35fe6bbb-ce52-4c21-a46e-9bb0e31d246c
Abioye, Ayodeji
3ec89a0b-8e78-4ef6-a1d7-342d8f6da021
Hunt, William
eec4ba79-8870-4657-a2ea-25511ae9dbaa
Schneiders, Eike
9da80af0-1e27-4454-90e2-eb1abf7108bd
Gu, Yue
6aba26f7-9803-4024-a4c4-82c7dfa36baf
Naiseh, Mohammad
2c521cc6-0405-45f8-8d55-7d14eb4e4126
Archibald, Blair
68d001d1-5df4-414d-96ef-b2f45080b4e8
Sevegnani, Michele
f29f5049-e7a3-4086-b624-104ac94195b4
Ramchurn, Gopal
1d62ae2a-a498-444e-912d-a6082d3aaea3
Fischer, Joel
2dde708c-f3ef-4705-b279-d0e063114790
Soorati, Mohammad
35fe6bbb-ce52-4c21-a46e-9bb0e31d246c
Abioye, Ayodeji, Hunt, William, Schneiders, Eike, Gu, Yue, Naiseh, Mohammad, Archibald, Blair, Sevegnani, Michele, Ramchurn, Gopal, Fischer, Joel and Soorati, Mohammad
(2025)
Research Data for Paper: A User Study Evaluation of Predictive Formal Modelling at Runtime in Human-Swarm Interaction.
figshare
doi:10.6084/m9.figshare.28687238.v1
[Dataset]
Abstract
This dataset is for the user study conducted to evaluate the performance benefits of predictive formal modelling (PFM) at runtime in a human-swarm interaction experiment. We recruited 180 participants to perform the role of aerial swarm operators conducting a drone delivery mission in a simulation environment using the Human And Robot Interactive Swarm (HARIS) simulator.
This record has no associated files available for download.
More information
Published date: 28 March 2025
Identifiers
Local EPrints ID: 500788
URI: http://eprints.soton.ac.uk/id/eprint/500788
PURE UUID: a5f185e0-a792-4826-af6b-c2c9457bc25b
Catalogue record
Date deposited: 13 May 2025 16:46
Last modified: 14 May 2025 02:15
Export record
Altmetrics
Contributors
Creator:
Ayodeji Abioye
Creator:
William Hunt
Creator:
Eike Schneiders
Creator:
Yue Gu
Creator:
Mohammad Naiseh
Creator:
Blair Archibald
Creator:
Michele Sevegnani
Creator:
Gopal Ramchurn
Creator:
Joel Fischer
Creator:
Mohammad Soorati
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.
View more statistics