| 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 | 14 | 2018 |
| Modelling and verifying BDI agents with bigraphs B Archibald, M Calder, M Sevegnani, M Xu Science of Computer Programming 215, 102760, 2022 | 12 | 2022 |
| 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 | 11 | 2021 |
| Intention interleaving via classical replanning M Xu, K McAreavey, K Bauters, W Liu 2019 IEEE 31st International Conference on Tools with Artificial …, 2019 | 8 | 2019 |
| 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 | 7 | 2023 |
| Quantitative modelling and analysis of BDI agents B Archibald, M Calder, M Sevegnani, M Xu Software and Systems Modeling 23 (2), 343-367, 2024 | 6 | 2024 |
| Verifying BDI Agents in Dynamic Environments B Archibald, M Calder, M Sevegnani, M Xu The 34th International Conference on Software Engineering and Knowledge …, 2022 | 5 | 2022 |
| Quantitative verification and strategy synthesis for BDI agents B Archibald, M Calder, M Sevegnani, M Xu NASA Formal Methods Symposium, 241-259, 2023 | 4 | 2023 |
| 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 | 4 | 2018 |
| 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 | 3 | 2023 |
| 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 | 2 | 2021 |
| Uncertain Machine Ethical Decisions Using Hypothetical Retrospection S Kolker, L Dennis, R Fraga Pereira, M Xu International Workshop on Coordination, Organizations, Institutions, Norms …, 2023 | 1 | 2023 |
| Modelling and verifying BDI agents under uncertainty B Archibald, M Sevegnani, M Xu Science of Computer Programming 242, 103254, 2025 | | 2025 |
| CAN-Verify: Automated analysis for BDI agents M Xu, B Archibald, M Sevegnani Science of Computer Programming 241, 103233, 2025 | | 2025 |
| Applying Ethical Decision Making on Space Missions S Kolker, L Dennis, RF Pereira, M Xu 2024 IEEE Space Computing Conference (SCC), 136-138, 2024 | | 2024 |
| Safeguard Privacy for Minimal Data Collection with Trustworthy Autonomous Agents M Xu, LA Dennis, MA Mustafa Proceedings of the 23rd International Conference on Autonomous Agents and …, 2024 | | 2024 |
| A Practical Operational Semantics for Classical Planning in BDI Agents M Xu, T Lumley, R Fraga Pereira, F Meneguzzi ECAI 2024, 1365-1372, 2024 | | 2024 |
| Extending BDI agents with robust program execution, adaptive plan library, and efficient intention progression M Xu University of Bristol, 2020 | | 2020 |
Michele SevegnaniSenior Lecturer, School of Computing Science, University of GlasgowVerified email at glasgow.ac.uk