Dr Mengwei Xu

Affiliate (School of Health & Wellbeing)

email: Mengwei.Xu@glasgow.ac.uk

School of Computing Science, G12 8QN

Import to contacts

https://orcid.org/0000-0003-4978-3061

Publications

List by: Type | Date

Jump to: 2025 | 2023 | 2022 | 2021 | 2019 | 2018

Number of items: 12.

2025

Xu, M. , Archibald, B. and Sevegnani, M. (2025) CAN-Verify: automated analysis for BDI agents. Science of Computer Programming, 241, 103233. (doi: 10.1016/j.scico.2024.103233)

2023

Gu, Y., Hunt, W., Archibald, B. , Xu, M. , Sevegnani, M. and Soorati, M. D. (2023) Successful Swarms: Operator Situational Awareness with Modelling and Verification at Runtime. In: IEEE RO-MAN 2023, Busan, Korea, 28-31 August 2023, pp. 541-548. ISBN 9798350336702 (doi: 10.1109/RO-MAN57019.2023.10309626)

Xu, M. , Rivoalen, T., Archibald, B. and Sevegnani, M. (2023) CAN-verify: A Verification Tool for BDI Agents. In: 8th International Conference on integrated Formal Methods (iFM 2023), Leiden, The Netherlands, 13-15 November 2023, ISBN 9783031477058 (doi: 10.1007/978-3-031-47705-8_19)

Archibald, B. , Calder, M. , Sevegnani, M. and Xu, M. (2023) Quantitative modelling and analysis of BDI agents. Software and Systems Modeling, (doi: 10.1007/s10270-023-01121-5) (Early Online Publication)

Archibald, B. , Calder, M. , Sevegnani, M. and Xu, M. (2023) Quantitative Verification and Strategy Synthesis for BDI Agents. In: NASA Formal Methods Symposium (NFM), Houston, TX, USA, 16-18 May 2023, pp. 241-259. ISBN 9783031331695 (doi: 10.1007/978-3-031-33170-1_15)

2022

Archibald, B. , Calder, M. , Sevegnani, M. and Xu, M. (2022) Verifying BDI Agents in Dynamic Environments. In: 34th International Conference on Software Engineering & Knowledge Engineering, Pittsburgh, USA, 01-10 Jul 2022, ISBN 1891706543 (doi: 10.18293/SEKE2022-149)

Archibald, B. , Calder, M. , Sevegnani, M. and Xu, M. (2022) Modelling and verifying BDI agents with bigraphs. Science of Computer Programming, 215, 102760. (doi: 10.1016/j.scico.2021.102760)

2021

Archibald, B. , Calder, M. , Sevegnani, M. and Xu, M. (2021) Probabilistic BDI Agents: Actions, Plans, and Intentions. In: SEFM 2021, 6-10 Dec 2021, pp. 262-281. ISBN 9783030921231 (doi: 10.1007/978-3-030-92124-8_15)

Archibald, B. , Calder, M. , Sevegnani, M. and Xu, M. (2021) Observable and Attention-Directing BDI Agents for Human-Autonomy Teaming. In: Third Workshop on Formal Methods for Autonomous Systems (FMAS 2021), 21-22 Oct 2021, pp. 167-175. (doi: 10.4204/EPTCS.348.12)

2019

Xu, M. , McAreavey, K., Bauters, K. and Liu, W. (2019) Intention Interleaving Via Classical Replanning. In: 2019 IEEE 31st International Conference on Tools with Artificial Intelligence (ICTAI), Portland, OR, USA, 04-06 Nov 2019, pp. 85-92. ISBN 9781728137988 (doi: 10.1109/ICTAI.2019.00021)

2018

Xu, M. , Bauters, K., McAreavey, K. and Liu, W. (2018) A Framework for Plan Library Evolution in BDI Agent Systems. In: 2018 IEEE 30th International Conference on Tools with Artificial Intelligence (ICTAI), Volos, Greece, 05-07 Nov 2018, pp. 414-421. ISBN 9781538674499 (doi: 10.1109/ICTAI.2018.00071)

Xu, M. , Bauters, K., McAreavey, K. and Liu, W. (2018) A formal approach to embedding first-principles planning in BDI agent systems. In: Ciucci, D., Pasi, G. and Vantaggi, B. (eds.) Scalable Uncertainty Management: 12th International Conference, SUM 2018, Milan, Italy, October 3-5, 2018, Proceedings. Series: Lecture notes in computer science (11142). Springer: Cham, pp. 333-347. ISBN 9783030004606 (doi: 10.1007/978-3-030-00461-3_23)

This list was generated on Mon Jan 20 03:20:26 2025 GMT.

Jump to: Articles | Book Sections | Conference Proceedings

Number of items: 12.

Articles