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.