A Framework for Plan Library Evolution in BDI Agent Systems. - Mengwei Xu 002; Kim Bauters; Kevin McAreavey; Weiru Liu (ICTAI, 2018)

A Formal Approach to Embedding First-Principles Planning in BDI Agent Systems. - Mengwei Xu 002; Kim Bauters; Kevin McAreavey; Weiru Liu (SUM, 2018)

Intention Interleaving Via Classical Replanning. - Mengwei Xu 002; Kevin McAreavey; Kim Bauters; Weiru Liu (ICTAI, 2019)

Extending BDI agents with robust program execution, adaptive plan library, and efficient intention progression. - Mengwei Xu 002 (2020)

Probabilistic BDI Agents: Actions, Plans, and Intentions. - Blair Archibald; Muffy Calder; Michele Sevegnani; Mengwei Xu 002 (SEFM, 2021)

Observable and Attention-Directing BDI Agents for Human-Autonomy Teaming. - Blair Archibald; Muffy Calder; Michele Sevegnani; Mengwei Xu 002 (FMAS, 2021)

Verifying BDI Agents in Dynamic Environments. - Blair Archibald; Muffy Calder; Michele Sevegnani; Mengwei Xu 002 (SEKE, 2022)

Modelling and verifying BDI agents with bigraphs. - Blair Archibald; Muffy Calder; Michele Sevegnani; Mengwei Xu 002 (Sci. Comput. Program., 2022)

Uncertain Machine Ethical Decisions Using Hypothetical Retrospection. - Simon Kolker; Louise A. Dennis; Ramon Fraga Pereira; Mengwei Xu 002 (COINE, 2023)

CAN-verify: A Verification Tool For BDI Agents. - Mengwei Xu 002; Thibault Rivoalen; Blair Archibald; Michele Sevegnani (iFM, 2023)

Quantitative Verification and Strategy Synthesis for BDI Agents. - Blair Archibald; Muffy Calder; Michele Sevegnani; Mengwei Xu 002 (NFM, 2023)

Successful Swarms: Operator Situational Awareness with Modelling and Verification at Runtime. - Yue Gu; William Hunt; Blair Archibald; Mengwei Xu 002; Michele Sevegnani; Mohammad Divband Soorati (RO-MAN, 2023)

Safeguard Privacy for Minimal Data Collection with Trustworthy Autonomous Agents. - Mengwei Xu 002; Louise A. Dennis; Mustafa A. Mustafa (AAMAS, 2024)

Quantitative modelling and analysis of BDI agents. - Blair Archibald; Muffy Calder; Michele Sevegnani; Mengwei Xu 002 (Softw. Syst. Model., 2024)

Uncertain Machine Ethics Planning. - Simon Kolker; Louise A. Dennis; Ramon Fraga Pereira; Mengwei Xu 002 (AAMAS, 2025)

Modelling and verifying BDI agents under uncertainty. - Blair Archibald; Michele Sevegnani; Mengwei Xu 002 (Sci. Comput. Program., 2025)

CAN-Verify: Automated analysis for BDI agents. - Mengwei Xu 002; Blair Archibald; Michele Sevegnani (Sci. Comput. Program., 2025)