Short biography
Mengwei studied Mathematics for his undergraduate. After the undergraduate, Mengwei pursued a PhD degree in autonomous agents supervised by Professor Weiru Liu at University of Bristol. After the PhD, Mengwei worked as a Research Associate on trustworthy autonomous agents with e.g. Professor Dame Muffy Calder at the University of Glasgow. After it, Mengwei was a Research Fellow from Jan 2023 to August 2023 in Autonomy and Verification Group, working with Dr. Louise Dennis, focusing on safeguarding data privacy through trustworthy autonomous agents, at the University of Manchester. From Sep 2023, Mengwei is a lecturer (Assistant Professor) at Group of Advanced Model-Based Engineering and Reasoning (AMBER) at the School of Computing at the Newcastle University.
Publications
Full BibTeX is available on the BibTeX page.
Note 1: the symbol * denotes the principal or corresponding author.
Note 2: an alphabetical order of authors means equal contributions.
Recent works submitted for publication
- Run-time Quantitative Operational Monitoring for BDI Agents
Marie Farrell, Angelo Ferrando, and Mengwei Xu. - Algebraic Modelling and Proof-based Analysis of BDI Agents with Event-B
Mengwei Xu, Peter Riviere, Toshiaki Aoki, Marie Farrell, Yamine Ait-Ameur, Neeraj Kumar Singh, Guillaume Dupont.
Published works
| [18] |
Uncertain Machine Ethics Planning. Simon Kolker, Louise Dennis, Ramon Fraga Pereira, and Mengwei Xu. In 24th International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS), To appear. [ bib | DOI | pdf | CORE ] (acceptance rate: 24.5%) |
| [19] |
Quantitative Operational Monitoring for BDI Agents. Marie Farrell, Angelo Ferrando, and Mengwei Xu. In 24th International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS), To appear. [ bib | DOI | pdf | CORE ] |
| [17] |
Modelling and Verifying BDI Agents under Uncertainty. Mengwei Xu*,Blair Archibald, and Michele Sevegnani. In Science of Computer Programming, 2024. [ bib | DOI | pdf | SJR ] |
| [16] |
CAN-Verify: Automated Analysis for BDI Agents. [iFM 2023 Invited Paper] [Original Software Publications] Mengwei Xu*,Blair Archibald, and Michele Sevegnani. In Science of Computer Programming, 2024. [ bib | DOI | pdf | SJR ] |
| [15] |
A Practical Operational Semantics for Classical Planning in BDI Agents. Mengwei Xu*,Tom Lumley, Ramon Fraga Pereira, and Felipe Meneguzzi. In 27th European Conference on Artificial Intelligence (ECAI), pages 1365 - 1372, 2024. [ bib | DOI | pdf | CORE ] (acceptance rate: 23%) |
| [14] |
Safeguard Privacy for Minimal Data Collection with Trustworthy Autonomous Agents. Mengwei Xu*, Louise Dennis, and Mustafa Mustafa. In 23rd International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS), pages 1966--1974, 2024. [ bib | DOI | pdf | CORE ] (acceptance rate: 25%) |
| [13] |
CAN-verify: Verification Tool for BDI Agents. [Artifacts Available] [Artifacts Evaluated] Mengwei Xu*, Thibault Rivoalen, Blair Archibald, and Michele Sevegnani. In 18th International Conference on integrated Formal Methods (iFM), pages 364-373, 2023. [ bib | DOI | pdf | slides | CORE ] (acceptance rate: 25%) |
| [12] |
Quantitative Modelling and Analysis of BDI Agents. [SEFM 2021 Invited Paper] Blair Archibald, Muffy Calder, Michele Sevegnani, and Mengwei Xu*. In Software and Systems Modeling, 2023. [ bib | DOI | pdf | SJR ] |
| [11] |
Uncertain Machine Ethical Decisions Using Hypothetical Retrospection. Simon Kolker, Louise Dennis, Ramon Fraga Pereira, and Mengwei Xu. In 27th International Workshop on Coordination, Organizations, Institutions, Norms and Ethics for Governance of Multi-Agent Systems (COINE), pages 364-373, 2023. [ bib | DOI | pdf | CORE ] |
| [10] |
Successful Swarms: Operator Situational Awareness via Runtime Formal Methods. Yue Gu, William Hunt, Blair Archibald, Mengwei Xu, Michele Sevegnani and Mohammad D. Soorati. In IEEE 32nd International Conference on Robot and Human Interactive Communication (IEEE RO-MAN), pages 541-548, 2023. [ bib | DOI | pdf | video ] |
| [9] |
Quantitative Verification and Strategy Synthesis for BDI Agents. Blair Archibald, Muffy Calder, Michele Sevegnani, and Mengwei Xu*. In Proceedings of NASA Formal Methods, pages 241-259, 2023. [ bib | DOI | pdf | slides ] |
| [8] |
Verifying BDI Agents in Dynamic Environments. Blair Archibald, Muffy Calder, Michele Sevegnani, and Mengwei Xu*. In Proceedings of the 34th International Conference on Software Engineering and Knowledge Engineering, pages 136-141, 2022. [ bib | DOI | pdf | slides | CORE ] |
| [7] |
Modelling and Verifying BDI Agents with Bigraphs. Blair Archibald, Muffy Calder, Michele Sevegnani, and Mengwei Xu*. In Science of Computer Programming, 215:102760, 2022. [ bib | DOI | pdf | SJR ] |
| [6] |
Probabilistic BDI Agents: Actions, Plans, and Intentions. Blair Archibald, Muffy Calder, Michele Sevegnani, and Mengwei Xu*. In Proceedings of Software Engineering and Formal Methods (SEFM'21), pages 262-281. Springer International Publishing, 2021. [ bib | DOI | pdf | slides | CORE ] (acceptance rate: 25%) |
| [5] |
Observable and Attention-Directing BDI agents for Human-Autonomy Teaming. Blair Archibald, Muffy Calder, Michele Sevegnani, and Mengwei Xu*. In Proceedings of Third Workshop on Formal Methods for Autonomous Systems (FMAS'21), Electronic Proceedings in Theoretical Computer Science, volume 348, pages 167-175, 2021. [ bib | DOI | pdf | slides ] |
| [4] |
Extending BDI Agents with Robust Program Execution, Adaptive Plan Library, and Efficient Intention Progression. Mengwei Xu*. PhD Thesis, 2020. [ bib | URL | pdf ] |
| [3] |
Intention Interleaving via Classical Replanning. Mengwei Xu*, Kevin McAreavey, Kim Bauters, and Weiru Liu. In Proceedings of the 31st IEEE International Conference on Tools with Artificial Intelligence (ICTAI'19), pages 85-92, 2019. [ bib | DOI | pdf | slides | CORE ] (acceptance rate: 26%) |
| [2] |
A Framework for Plan Library Evolution in BDI Agent Systems. Mengwei Xu*, Kim Bauters, Kevin McAreavey, and Weiru Liu. In Proceedings of the 30th IEEE International Conference on Tools with Artificial Intelligence (ICTAI'18), pages 414-421, 2018. [ bib | DOI | pdf | slides | CORE ] (acceptance rate: 29%) |
| [1] |
A Formal Approach to Embedding First-Principles Planning in BDI Agent Systems. Mengwei Xu*, Kim Bauters, Kevin McAreavey, and Weiru Liu. In Proceedings of International Conference on Scalable Uncertainty Management, pages 333-347, 2018. [ bib | DOI | pdf | slides ] |
PhD students (as the main supervisor)
1. Neural-symbolic agent system: Mahirul Islam.
2. Digital-twin-enabled formal modelling: Menna Tarek Yahia Abdulaleem Khedr.
Tools
CAN-verify: a fully automatic tool that supports syntactic error checking, simulation, and verification of BDI agents .
Professional activities
Publication Chair of AAMAS2026.
PC Chair of FMAS2024, FMAS2025.
Member of Autonomy and Verification Network.
Conference programme committees: IJCAI2025-2026, AAMAS2023-2026, ECAI2023-2026, FMAS2022-2023, NFM2024, PRIMA2024.
Journal reviewer: ACM Transaction on Autonomous and Adaptive Systems, IEEE IoT Journal Review, IEEE Transactions on Cybernetics, Journal of Artificial Intelligence Research, Formal Aspect of Computing, Journal of Autonomous Agents and Multi-agent Systems.
Employment
Sep 2023 - Current: Lecturer at School of Computing at the University of Newcastle.
Jan 2023 - Aug 2023: Research Fellow at Department of Computer Science at the University of Manchester.
Jun 2020 - Dec 2022: Research Associate at School of Computing Science at the University of Glasgow.
Education
2020: PhD in Computer Science at University of Bristol.
2016: First Class Honours in Mathematics at Queen’s University of Belfast.
2016: Bachelor Degree in Mathematics and Applied Mathematics at Anhui University of Finance Economics.