Dr Mengwei Xu | BibTex

@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}
}