50 citations · 87 across the 6 of their papers we have counts for
Showing cs.ROShow all
2 papers · 1 filter
cs.RO2024
Adaptive Human-Swarm Interaction based on Workload Measurement using Functional Near-Infrared Spectroscopy
Ayodeji O. Abioye, Aleksandra Landowska, William Hunt +5
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 m…
cs.RO2020★ 4 cited
Formal Verification of Robustness and Resilience of Learning-Enabled State Estimation Systems
Wei Huang, Yifan Zhou, Gaojie Jin +4
This paper presents a formal verification guided approach for a principled design and implementation of robust and resilient learning-enabled systems. We focus on learning-enabled…