The effect of predictive formal modelling at runtime on performance in human-swarm interaction

AO Abioye, W Hunt, Y Gu, E Schneiders… - Companion of the 2024 …, 2024 - dl.acm.org
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 …

From One to Many: How Active Robot Swarm Sizes Influence Human Cognitive Processes

J Kaduk, M Cavdan, K Drewing, H Hamann - arXiv preprint arXiv …, 2024 - arxiv.org
In robotics, understanding human interaction with autonomous systems is crucial for
enhancing collaborative technologies. We focus on human-swarm interaction (HSI) …

Adaptive Human-Swarm Interaction based on Workload Measurement using Functional Near-Infrared Spectroscopy

AO Abioye, A Landowska, W Hunt, H Maior… - arXiv preprint arXiv …, 2024 - arxiv.org
One of the challenges of human-swarm interaction (HSI) is how to manage the operator's
workload. In order to do this, we propose a novel neurofeedback technique for the real-time …