Toggle Main Menu Toggle Search

Open Access padlockePrints

Browsing publications by Dr Mengwei Xu.

Newcastle AuthorsTitleYearFull text
Dr Mengwei Xu
Modelling and verifying BDI agents under uncertainty2025
Dr Mengwei Xu
A Practical Operational Semantics for Classical Planning in BDI Agents2024
Dr Mengwei Xu
Quantitative Modelling and Analysis of BDI Agents2024
Dr Mengwei Xu
Safeguard Privacy for Minimal Data Collection with Trustworthy Autonomous Agents2024
Dr Mengwei Xu
Modelling and Verifying BDI Agents with Bigraphs.2021