Research Data for Paper: A User Study Evaluation of Predictive Formal Modelling at Runtime in Human-Swarm Interaction
Abioye, Ayodeji;Hunt, William;Gu, Yue;Schneiders, Eike;Naiseh, Mohammad;Archibald, Blair;Sevegnani, Michele;Ramchurn, Sarvapali;Fischer, Joel;Soorati, Mohammad
Description
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.
Citations (0)
No citations found
It looks like this dataset has no citations.
Mentions (0)
No mentions found
It looks like this dataset has not been mentioned in any sources.
Metrics Over Time
Publication Details
DOI
Publisher
figshare
Subfield
Control and Systems Engineering
Field
Engineering
Domain
Physical Sciences
Confidence Score
59%
Source
Scholar Data Model
Keywords
Human-computer interactionFormal methods for softwareSimulation, modelling, and programming of mechatronics systemsField robotics