Research Data for Paper: A User Study Evaluation of Predictive Formal Modelling at Runtime in Human-Swarm Interaction

Name: Research Data for Paper: A User Study Evaluation of Predictive Formal Modelling at Runtime in Human-Swarm Interaction
Creator: Fischer, Joel; Ramchurn, Sarvapali; Schneiders, Eike; Archibald, Blair; Hunt, William; Soorati, Mohammad; Abioye, Ayodeji; Sevegnani, Michele; Naiseh, Mohammad; Gu, Yue
Published: 2025-03-28T00:00:00+08:00

Figshare2025-03-28 更新2026-04-08 收录

无人机集群

汽车人机交互评估

数据链接：

https://figshare.com/articles/dataset/Research_Data_for_Paper_A_User_Study_Evaluation_of_Predictive_Formal_Modelling_at_Runtime_in_Human-Swarm_Interaction/28687238/1 数据链接链接失效反馈

官方服务：

资源简介：

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.

提供机构：

Fischer, Joel; Ramchurn, Sarvapali; Schneiders, Eike; Archibald, Blair; Hunt, William; Soorati, Mohammad; Abioye, Ayodeji; Sevegnani, Michele; Naiseh, Mohammad; Gu, Yue

创建时间：

2025-03-28