Mengwei Xu

24 papers A 4B 5C 2Journal 7Unranked 3
YearRankTypeTitle / Venue / Authors
2025 J jnl
CAN-Verify: Automated analysis for BDI agents.
Sci. Comput. Program.
Mengwei Xu, Blair Archibald, Michele Sevegnani
2025 J jnl
Modelling and verifying BDI agents under uncertainty.
Sci. Comput. Program.
Blair Archibald, Michele Sevegnani, Mengwei Xu
2025 — ed.
Proceedings Seventh International Workshop on Formal Methods for Autonomous Systems, FMAS@iFM 2025, Paris, 17th to 19th of November 2025.
FMAS@iFM
Matt Luckcuck, Maike Schwammberger, Mengwei Xu
2025 A conf
Quantitative Operational Monitoring for BDI Agents.
AAMAS
Marie Farrell, Angelo Ferrando, Mengwei Xu
2025 A conf
Uncertain Machine Ethics Planning.
AAMAS
Simon Kolker, Louise A. Dennis, Ramon Fraga Pereira, Mengwei Xu
2025 J jnl
Uncertain Machine Ethics Planning.
CoRR
Simon Kolker, Louise A. Dennis, Ramon Fraga Pereira, Mengwei Xu
2024 A conf
A Practical Operational Semantics for Classical Planning in BDI Agents.
ECAI
Mengwei Xu, Tom Lumley, Ramon Fraga Pereira, Felipe Meneguzzi
2024 — ed.
Proceedings Sixth International Workshop on Formal Methods for Autonomous Systems, FMAS@iFM 2024, Manchester, UK, 11th and 12th of November 2024.
FMAS@iFM
Matt Luckcuck, Mengwei Xu
2024 J jnl
Quantitative modelling and analysis of BDI agents.
Softw. Syst. Model.
Blair Archibald, Muffy Calder, Michele Sevegnani, Mengwei Xu
2024 A conf
Safeguard Privacy for Minimal Data Collection with Trustworthy Autonomous Agents.
AAMAS
Mengwei Xu, Louise A. Dennis, Mustafa A. Mustafa
2023 B conf
CAN-verify: A Verification Tool For BDI Agents.
iFM
Mengwei Xu, Thibault Rivoalen, Blair Archibald, Michele Sevegnani
2023 — conf
Quantitative Verification and Strategy Synthesis for BDI Agents.
NFM
Blair Archibald, Muffy Calder, Michele Sevegnani, Mengwei Xu
2023 B conf
Successful Swarms: Operator Situational Awareness with Modelling and Verification at Runtime.
RO-MAN
Yue Gu, William Hunt, Blair Archibald, Mengwei Xu, Michele Sevegnani, Mohammad Divband Soorati
2023 C conf
Uncertain Machine Ethical Decisions Using Hypothetical Retrospection.
COINE
Simon Kolker, Louise A. Dennis, Ramon Fraga Pereira, Mengwei Xu
2023 J jnl
Uncertain Machine Ethical Decisions Using Hypothetical Retrospection.
CoRR
Simon Kolker, Louise A. Dennis, Ramon Fraga Pereira, Mengwei Xu
2022 J jnl
Modelling and verifying BDI agents with bigraphs.
Sci. Comput. Program.
Blair Archibald, Muffy Calder, Michele Sevegnani, Mengwei Xu
2022 C conf
Verifying BDI Agents in Dynamic Environments.
SEKE
Blair Archibald, Muffy Calder, Michele Sevegnani, Mengwei Xu
2021 J jnl
Modelling and Verifying BDI Agents with Bigraphs.
CoRR
Blair Archibald, Muffy Calder, Michele Sevegnani, Mengwei Xu
2021 — conf
Observable and Attention-Directing BDI Agents for Human-Autonomy Teaming.
FMAS
Blair Archibald, Muffy Calder, Michele Sevegnani, Mengwei Xu
2021 B conf
Probabilistic BDI Agents: Actions, Plans, and Intentions.
SEFM
Blair Archibald, Muffy Calder, Michele Sevegnani, Mengwei Xu
2020 — —
Extending BDI agents with robust program execution, adaptive plan library, and efficient intention progression.
Mengwei Xu
2019 B conf
Intention Interleaving Via Classical Replanning.
ICTAI
Mengwei Xu, Kevin McAreavey, Kim Bauters, Weiru Liu
2018 — conf
A Formal Approach to Embedding First-Principles Planning in BDI Agent Systems.
SUM
Mengwei Xu, Kim Bauters, Kevin McAreavey, Weiru Liu
2018 B conf
A Framework for Plan Library Evolution in BDI Agent Systems.
ICTAI
Mengwei Xu, Kim Bauters, Kevin McAreavey, Weiru Liu