Dr Mengwei Xu | BibTex

@inproceedings{Xu:iFM:2023,
  title={can-verify: A Verification Tool For BDI Agents},
  author={Xu, Mengwei and Rivoalen, Thibault and Archibald, Blair and Sevegnani, Michele},
  booktitle={International Conference on Integrated Formal Methods},
  pages={364--373},
  year={2023},
  publisher={Springer}
}
@article{Archibald:SoSyM:2023,
  title={Quantitative modelling and analysis of BDI agents},
  author={Archibald, Blair and Calder, Muffy and Sevegnani, Michele and Xu, Mengwei},
  journal={Software and Systems Modeling},
  year={2023},
  publisher={Springer}
}
@article{Kolker:COIN:2023,
  title={Uncertain Machine Ethical Decisions Using Hypothetical Retrospection},
  author={Kolker, S., Dennis, L., Fraga Pereira, R., Xu, M},
  journal={27th International Workshop of Coordination, Organizations, Institutions, Norms, and Ethics for Governance of Multi-Agent Systems. COINE 2023},
  year={2023},
  publisher={Springer}
}
@inproceedings{Archibald:NFM:2023,
  title = {Quantitative Verification and Strategy Synthesis for BDI Agents},
  year = {2023},
  author = {Blair Archibald and Muffy Calder and Michele Sevegnani and Mengwei Xu},
  booktitle = {Proceedings of NASA Formal Methods},
  doi = {10.1007/978-3-031-33170-1_15},
  publisher = {Springer Nature Switzerland"},
  pages = {241--259}
}
@inproceedings{Yue:ROMAN:2023,
  title={Successful Swarms: Operator Situational Awareness with Modelling and Verification at Runtime},
  author={Y. Gu, W. Hunt, B. Archibald, M. Xu, M. Sevegnani and M. D. Soorati},
  booktitle={2023 32nd IEEE International Conference on Robot and Human Interactive Communication (RO-MAN)},
  pages={541-548},
  year={2023}
}
@inproceedings{Archibald:SEKE:2022,
  title = {Verifying BDI Agents in Dynamic Environments},
  year = {2022},
  author = {Blair Archibald and Muffy Calder and Michele Sevegnani and Mengwei Xu},
  booktitle = {Proceedings of the International Conference on Software Engineering and Knowledge Engineering},
  doi = {10.18293/SEKE2022-149},
  publisher = {KSI Research Inc. and Knowledge Systems Institute Graduate School},
  pages = {136--141}
}
@article{Archibald:SCP:2021,
  title = {Modelling and Verifying BDI Agents with Bigraphs},
  journal = {Science of Computer Programming},
  volume = {215},
  pages = {102760},
  year = {2022},
  issn = {0167-6423},
  doi = {https://doi.org/10.1016/j.scico.2021.102760},
  author = {Blair Archibald and Muffy Calder and Michele Sevegnani and Mengwei Xu}
}
@inproceedings{Archibald:SEFM:2021,
  title = {Probabilistic BDI Agents: Actions, Plans, and Intentions},
  year = {2021},
  author = {Blair Archibald and Muffy Calder and Michele Sevegnani and Mengwei Xu},
  booktitle = {Proceedings of Software Engineering and Formal Methods},
  doi = {10.1007/978-3-030-92124-8_15},
  publisher = {Springer International Publishing},
  pages = {262--281}
}
@inproceedings{Archibald:FMAS:2021,
  author = {Archibald, Blair and Calder, Muffy and Sevegnani, Michele and Xu, Mengwei},
  year = {2021},
  title = {Observable and Attention-Directing BDI Agents for Human-Autonomy Teaming},
  editor = {Farrell, Marie and Luckcuck, Matt},
  booktitle = {Proceedings of Third Workshop on Formal Methods for Autonomous Systems (FMAS)},
  series = {Electronic Proceedings in Theoretical Computer Science},
  volume = {348},
  publisher = {Open Publishing Association},
  pages = {167-175},
  doi = {10.4204/EPTCS.348.12}
}
@book{Xu:Thesis:2020,
  title={Extending BDI Agents with Robust Program Execution, Adaptive Plan Library, and Efficient Intention Progression},
  author={Mengwei Xu},
  url={https://books.google.co.uk/books?id=FQNdzgEACAAJ},
  year={2020},
  publisher={University of Bristol}
}
@inproceedings{Xu:ICTAI:2019,
  title = {Intention {I}nterleaving via {C}lassical {R}eplanning},
  author = {Mengwei Xu and Kevin McAreavey and Kim Bauters and Weiru Liu},
  booktitle = {Proceedings of the 31st IEEE International Conference on Tools with Artificial Intelligence ({ICTAI}'19)},
  pages = {85--92},
  year = {2019},
  doi = {10.1109/ICTAI.2019.00021}
}
@inproceedings{Xu:ICTAI:2018,
  title = {A {F}ramework for {P}lan {L}ibrary {E}volution in {BDI} {A}gent {S}ystems},
  author = {Mengwei Xu and Kim Bauters and Kevin McAreavey and Weiru Liu},
  booktitle = {Proceedings of the 30th IEEE International Conference on Tools with Artificial Intelligence ({ICTAI}'18)},
  pages = {414--421},
  year = {2018},
  doi = {10.1109/ICTAI.2018.00071}
}
@inproceedings{Xu:SUM:2018,
  author = {Xu, Mengwei and Bauters, Kim and McAreavey, Kevin and Liu, Weiru},
  title = {A {F}ormal {A}pproach to {E}mbedding {F}irst-{P}rinciples {P}lanning in {BDI} {A}gent {S}ystems"},
  booktitle = {Proceedings of International Conference on Scalable Uncertainty Management},
  year = {2018},
  publisher = {Springer International Publishing},
  pages = {333--347},
  doi = {10.1007/978-3-030-00461-3_23}
}