Mengwei Xu

According to our database, Mengwei Xu authored at least 20 papers between 2018 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Encoding BDI Syntax with Theories in Event-B.

Mengwei Xu, Peter Rivière, Toshiaki Aoki, Marie Farrell, Yamine Aït Ameur, Neeraj Kumar Singh, Guillaume Dupont

Proceedings of the Rigorous State-Based Methods - 12th International Conference, 2026

2025

CAN-Verify: Automated analysis for BDI agents.

Mengwei Xu, Blair Archibald, Michele Sevegnani

Sci. Comput. Program., 2025

Modelling and verifying BDI agents under uncertainty.

Blair Archibald, Michele Sevegnani, Mengwei Xu

Sci. Comput. Program., 2025

Uncertain Machine Ethics Planning.

Simon Kolker, Louise A. Dennis, Ramon Fraga Pereira, Mengwei Xu

Proceedings of the 24th International Conference on Autonomous Agents and Multiagent Systems, 2025

Quantitative Operational Monitoring for BDI Agents.

Marie Farrell, Angelo Ferrando, Mengwei Xu

Proceedings of the 24th International Conference on Autonomous Agents and Multiagent Systems, 2025

2024

Quantitative modelling and analysis of BDI agents.

Blair Archibald, Muffy Calder, Michele Sevegnani, Mengwei Xu

Softw. Syst. Model., April, 2024

A Practical Operational Semantics for Classical Planning in BDI Agents.

Mengwei Xu, Tom Lumley, Ramon Fraga Pereira, Felipe Meneguzzi

Proceedings of the ECAI 2024 - 27th European Conference on Artificial Intelligence, 19-24 October 2024, Santiago de Compostela, Spain, 2024

Safeguard Privacy for Minimal Data Collection with Trustworthy Autonomous Agents.

Mengwei Xu, Louise A. Dennis, Mustafa A. Mustafa

Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent Systems, 2024

2023

Successful Swarms: Operator Situational Awareness with Modelling and Verification at Runtime.

Yue Gu, William Hunt, Blair Archibald, Mengwei Xu, Michele Sevegnani, Mohammad Divband Soorati

Proceedings of the 32nd IEEE International Conference on Robot and Human Interactive Communication, 2023

Quantitative Verification and Strategy Synthesis for BDI Agents.

Blair Archibald, Muffy Calder, Michele Sevegnani, Mengwei Xu

Proceedings of the NASA Formal Methods - 15th International Symposium, 2023

CAN-verify: A Verification Tool For BDI Agents.

Mengwei Xu, Thibault Rivoalen, Blair Archibald, Michele Sevegnani

Proceedings of the iFM 2023 - 18th International Conference, 2023

Uncertain Machine Ethical Decisions Using Hypothetical Retrospection.

Simon Kolker, Louise A. Dennis, Ramon Fraga Pereira, Mengwei Xu

Proceedings of the Coordination, Organizations, Institutions, Norms, and Ethics for Governance of Multi-Agent Systems XVI, 2023

2022

Modelling and verifying BDI agents with bigraphs.

Blair Archibald, Muffy Calder, Michele Sevegnani, Mengwei Xu

Sci. Comput. Program., 2022

Verifying BDI Agents in Dynamic Environments.

Blair Archibald, Muffy Calder, Michele Sevegnani, Mengwei Xu

Proceedings of the 34th International Conference on Software Engineering and Knowledge Engineering, 2022

2021

Observable and Attention-Directing BDI Agents for Human-Autonomy Teaming.

Blair Archibald, Muffy Calder, Michele Sevegnani, Mengwei Xu

Proceedings of the Proceedings Third Workshop on Formal Methods for Autonomous Systems, 2021

Probabilistic BDI Agents: Actions, Plans, and Intentions.

Blair Archibald, Muffy Calder, Michele Sevegnani, Mengwei Xu

Proceedings of the Software Engineering and Formal Methods - 19th International Conference, 2021

2020

Extending BDI agents with robust program execution, adaptive plan library, and efficient intention progression.

Mengwei Xu

PhD thesis, 2020

2019

Intention Interleaving Via Classical Replanning.

Mengwei Xu, Kevin McAreavey, Kim Bauters, Weiru Liu

Proceedings of the 31st IEEE International Conference on Tools with Artificial Intelligence, 2019

2018

A Formal Approach to Embedding First-Principles Planning in BDI Agent Systems.

Mengwei Xu, Kim Bauters, Kevin McAreavey, Weiru Liu

Proceedings of the Scalable Uncertainty Management - 12th International Conference, 2018

A Framework for Plan Library Evolution in BDI Agent Systems.

Mengwei Xu, Kim Bauters, Kevin McAreavey, Weiru Liu

Proceedings of the IEEE 30th International Conference on Tools with Artificial Intelligence, 2018