Follow
Mengwei Xu
Mengwei Xu
Verified email at newcastle.ac.uk - Homepage
Title
Cited by
Cited by
Year
A formal approach to embedding first-principles planning in BDI agent systems
M Xu, K Bauters, K McAreavey, W Liu
Scalable Uncertainty Management: 12th International Conference, SUM 2018 …, 2018
112018
Modelling and verifying BDI agents with bigraphs
B Archibald, M Calder, M Sevegnani, M Xu
Science of Computer Programming 215, 102760, 2022
92022
Probabilistic BDI agents: actions, plans, and intentions
B Archibald, M Calder, M Sevegnani, M Xu
Software Engineering and Formal Methods: 19th International Conference, SEFM …, 2021
72021
Intention interleaving via classical replanning
M Xu, K McAreavey, K Bauters, W Liu
2019 IEEE 31st International Conference on Tools with Artificial …, 2019
72019
Verifying BDI Agents in Dynamic Environments
B Archibald, M Calder, M Sevegnani, M Xu
The 34th International Conference on Software Engineering and Knowledge …, 2022
42022
A framework for plan library evolution in BDI agent systems
M Xu, K Bauters, K McAreavey, W Liu
2018 IEEE 30th International Conference on Tools with Artificial …, 2018
42018
Quantitative verification and strategy synthesis for BDI agents
B Archibald, M Calder, M Sevegnani, M Xu
NASA Formal Methods Symposium, 241-259, 2023
32023
Quantitative modelling and analysis of BDI agents
B Archibald, M Calder, M Sevegnani, M Xu
Software and Systems Modeling, 1-25, 2023
22023
Successful Swarms: Operator Situational Awareness with Modelling and Verification at Runtime
Y Gu, W Hunt, B Archibald, M Xu, M Sevegnani, MD Soorati
2023 32nd IEEE International Conference on Robot and Human Interactive …, 2023
22023
Observable and attention-directing BDI agents for human-autonomy teaming
B Archibald, M Calder, M Sevegnani, M Xu
Proceedings Third Workshop on Formal Methods for Autonomous Systems 348 …, 2021
12021
Safeguard Privacy for Minimal Data Collection with Trustworthy Autonomous Agents
M Xu, L Dennis, MA Mustafa
International Conference on Autonomous Agents and Multiagent Systems (AAMAS), 2023
2023
CAN-verify: A Verification Tool For BDI Agents
M Xu, T Rivoalen, B Archibald, M Sevegnani
International Conference on Integrated Formal Methods, 364-373, 2023
2023
Uncertain Machine Ethical Decisions Using Hypothetical Retrospection
S Kolker, L Dennis, R Fraga Pereira, M Xu
International Workshop on Coordination, Organizations, Institutions, Norms …, 2023
2023
Extending BDI agents with robust program execution, adaptive plan library, and efficient intention progression
M Xu
University of Bristol, 2020
2020
The system can't perform the operation now. Try again later.
Articles 1–14