The Effect of Predictive Formal Modelling at Runtime on Performance in Human-Swarm Interaction
Fuente:
arXiv
Saved in:
| Main Authors: | Abioye, Ayodeji O., Hunt, William, Gu, Yue, Schneiders, Eike, Naiseh, Mohammad, Fischer, Joel E., Ramchurn, Sarvapali D., Soorati, Mohammad D., Archibald, Blair, Sevegnani, Michele |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Adaptive Human-Swarm Interaction based on Workload Measurement using Functional Near-Infrared Spectroscopy
by: Abioye, Ayodeji O., et al.
Published: (2024)
by: Abioye, Ayodeji O., et al.
Published: (2024)
Mapping Safe Zones for Co-located Human-UAV Interaction
by: Abioye, Ayodeji O., et al.
Published: (2024)
by: Abioye, Ayodeji O., et al.
Published: (2024)
A Survey of Language-Based Communication in Robotics
by: Hunt, William, et al.
Published: (2024)
by: Hunt, William, et al.
Published: (2024)
Effects of Swarm Size Variability on Operator Workload
by: Hunt, William, et al.
Published: (2026)
by: Hunt, William, et al.
Published: (2026)
Learning to Imitate Spatial Organization in Multi-robot Systems
by: Agunloye, Ayomide O., et al.
Published: (2024)
by: Agunloye, Ayomide O., et al.
Published: (2024)
Trade-offs of Dynamic Control Structure in Human-swarm Systems
by: Kelly, Thomas G., et al.
Published: (2024)
by: Kelly, Thomas G., et al.
Published: (2024)
Modelling Real-time Systems with Bigraphs
by: Albalwe, Maram, et al.
Published: (2025)
by: Albalwe, Maram, et al.
Published: (2025)
A Digital Twinning Approach to Decarbonisation: Research Challenges
by: Archibald, Blair, et al.
Published: (2025)
by: Archibald, Blair, et al.
Published: (2025)
Practical Modelling with Bigraphs
by: Archibald, Blair, et al.
Published: (2024)
by: Archibald, Blair, et al.
Published: (2024)
Safe and Socially Aware Multi-Robot Coordination in Multi-Human Social Care Settings
by: Abioye, Ayodeji O., et al.
Published: (2025)
by: Abioye, Ayodeji O., et al.
Published: (2025)
Conversational Language Models for Human-in-the-Loop Multi-Robot Coordination
by: Hunt, William, et al.
Published: (2024)
by: Hunt, William, et al.
Published: (2024)
SubCDM: Collective Decision-Making with a Swarm Subset
by: Fuady, Samratul, et al.
Published: (2025)
by: Fuady, Samratul, et al.
Published: (2025)
MARLIN: Multi-Agent Reinforcement Learning Guided by Language-Based Inter-Robot Negotiation
by: Godfrey, Toby, et al.
Published: (2024)
by: Godfrey, Toby, et al.
Published: (2024)
Distributed Nash Equilibrium Seeking Algorithm in Aggregative Games for Heterogeneous Multi-Robot Systems
by: Dong, Yi, et al.
Published: (2025)
by: Dong, Yi, et al.
Published: (2025)
Embodied AI in Social Spaces: Responsible and Adaptive Robots in Complex Setting -- UKAIRS 2025 (Copy)
by: Landowska, Aleksandra, et al.
Published: (2025)
by: Landowska, Aleksandra, et al.
Published: (2025)
Safe Pruning LoRA: Robust Distance-Guided Pruning for Safety Alignment in Adaptation of LLMs
by: Ao, Shuang, et al.
Published: (2025)
by: Ao, Shuang, et al.
Published: (2025)
Towards Achieving Energy Efficiency and Service Availability in O-RAN via Formal Verification
by: Metere, Roberto, et al.
Published: (2024)
by: Metere, Roberto, et al.
Published: (2024)
TAT-VPR: Ternary Adaptive Transformer for Dynamic and Efficient Visual Place Recognition
by: Grainge, Oliver, et al.
Published: (2025)
by: Grainge, Oliver, et al.
Published: (2025)
VLM-Guided Visual Place Recognition for Planet-Scale Geo-Localization
by: Waheed, Sania, et al.
Published: (2025)
by: Waheed, Sania, et al.
Published: (2025)
TeTRA-VPR: A Ternary Transformer Approach for Compact Visual Place Recognition
by: Grainge, Oliver, et al.
Published: (2025)
by: Grainge, Oliver, et al.
Published: (2025)
Image-based Geo-localization for Robotics: Are Black-box Vision-Language Models there yet?
by: Waheed, Sania, et al.
Published: (2025)
by: Waheed, Sania, et al.
Published: (2025)
Structured Pruning for Efficient Visual Place Recognition
by: Grainge, Oliver, et al.
Published: (2024)
by: Grainge, Oliver, et al.
Published: (2024)
Development of a persuasive User Experience Research (UXR) Point of View for Explainable Artificial Intelligence (XAI)
by: Naiseh, Mohammad, et al.
Published: (2025)
by: Naiseh, Mohammad, et al.
Published: (2025)
Understanding Entrainment in Human Groups: Optimising Human-Robot Collaboration from Lessons Learned during Human-Human Collaboration
by: Schneiders, Eike, et al.
Published: (2024)
by: Schneiders, Eike, et al.
Published: (2024)
The Strain of Success: A Predictive Model for Injury Risk Mitigation and Team Success in Soccer
by: Everett, Gregory, et al.
Published: (2024)
by: Everett, Gregory, et al.
Published: (2024)
Modelling Privacy Compliance in Cross-border Data Transfers with Bigraphs
by: Althubiti, Ebtihal, et al.
Published: (2025)
by: Althubiti, Ebtihal, et al.
Published: (2025)
Collective Decision-Making on Task Allocation Feasibility
by: Fuady, Samratul, et al.
Published: (2024)
by: Fuady, Samratul, et al.
Published: (2024)
Decision-Level Fusion for Robust Wearable Affect Recognition
by: Singh, Lokesh, et al.
Published: (2026)
by: Singh, Lokesh, et al.
Published: (2026)
Objection Overruled! Lay People can Distinguish Large Language Models from Lawyers, but still Favour Advice from an LLM
by: Schneiders, Eike, et al.
Published: (2024)
by: Schneiders, Eike, et al.
Published: (2024)
Joint Multi-Condition Representation Modelling via Matrix Factorisation for Visual Place Recognition
by: Ismagilov, Timur, et al.
Published: (2025)
by: Ismagilov, Timur, et al.
Published: (2025)
One Channel to Rule Them All: Rethinking Input Representation for Visual Place Recognition
by: Ismagilov, Timur, et al.
Published: (2026)
by: Ismagilov, Timur, et al.
Published: (2026)
Designing Multispecies Worlds for Robots, Cats, and Humans
by: Schneiders, Eike, et al.
Published: (2024)
by: Schneiders, Eike, et al.
Published: (2024)
Coaching als Instrument der betrieblichen Gesundheitsförderung in kleinen und mittelständischen Bauunternehmen
by: Schneiders, Natalia
Published: (2026)
by: Schneiders, Natalia
Published: (2026)
Signalling Health for Improved Kubernetes Microservice Availability
by: Roberts, Jacob, et al.
Published: (2025)
by: Roberts, Jacob, et al.
Published: (2025)
A Neuro-inspired Theory of Joint Human-Swarm Interaction
by: Hasbach, Jonas D., et al.
Published: (2020)
by: Hasbach, Jonas D., et al.
Published: (2020)
A Study on Human-Swarm Interaction: A Framework for Assessing Situation Awareness and Task Performance
by: Wattearachchi, Wasura D., et al.
Published: (2025)
by: Wattearachchi, Wasura D., et al.
Published: (2025)
Edeflip: Supervised Word Translation between English and Yoruba
by: Abioye, Ikeoluwa, et al.
Published: (2025)
by: Abioye, Ikeoluwa, et al.
Published: (2025)
Designing Effective Human-Swarm Interaction Interfaces: Insights from a User Study on Task Performance
by: Wattearachchi, Wasura D., et al.
Published: (2025)
by: Wattearachchi, Wasura D., et al.
Published: (2025)
Particularidades de um instituto federal e de seus professores
by: Patrícia Mallmann Schneiders
Published: (2020)
by: Patrícia Mallmann Schneiders
Published: (2020)
Position: Towards a Responsible LLM-empowered Multi-Agent Systems
by: Hu, Jinwei, et al.
Published: (2025)
by: Hu, Jinwei, et al.
Published: (2025)
Similar Items
-
Adaptive Human-Swarm Interaction based on Workload Measurement using Functional Near-Infrared Spectroscopy
by: Abioye, Ayodeji O., et al.
Published: (2024) -
Mapping Safe Zones for Co-located Human-UAV Interaction
by: Abioye, Ayodeji O., et al.
Published: (2024) -
A Survey of Language-Based Communication in Robotics
by: Hunt, William, et al.
Published: (2024) -
Effects of Swarm Size Variability on Operator Workload
by: Hunt, William, et al.
Published: (2026) -
Learning to Imitate Spatial Organization in Multi-robot Systems
by: Agunloye, Ayomide O., et al.
Published: (2024)