Mengwei Xu

University of Glasgow, University of Manchester

Papers

Total Citations

H-Index

About

Mengwei Xu is a researcher at the forefront of multi-agent systems and human-swarm interaction, with a focus on enhancing the reliability and decision-making capabilities of autonomous robot collectives. Her work bridges the gap between swarm robotics and formal verification, addressing critical challenges in operator situational awareness. In her highly cited 2023 paper, "Successful Swarms: Operator Situational Awareness with Modelling and Verification at Runtime," Xu demonstrates how pairing human operators with robot swarms can significantly improve mission-level decision-making, provided operators maintain real-time awareness of swarm states. This contribution has already garnered 4 citations, highlighting its immediate impact on the field. Additionally, Xu developed "CAN-verify: A Verification Tool For BDI Agents" (2023, 3 citations), a pioneering tool that enables formal verification of Belief-Desire-Intention (BDI) agents—a cornerstone for ensuring trustworthy autonomous behavior. Her work is notable for integrating runtime verification with human factors, offering practical solutions for deploying swarms in safety-critical domains like search-and-rescue and environmental monitoring. Xu’s research not only advances theoretical foundations but also provides actionable tools, making her a rising voice in dependable autonomous systems.