• Sign in
  • Sign up
conf.researchr.org / Mengwei Xu
  • FM 2026 profile
  • NASA Formal Methods 2023 profile
  • NASA Formal Methods 2024 profile
Mengwei Xu

Registered user since Fri 31 Mar 2023

Name:Mengwei Xu
Country:United Kingdom
Affiliation:University of Newcastle
Personal website: https://mengweixu.netlify.app/
X (Twitter): https://x.com/xu_mengwei
Research interests:Autonomous Agent Systems, Formal Methods

Contributions

2026

FM

  • Author of A System-of-Systems Case Study for the Verification of Composed Digital Twins within the Workshop: Overture-track
  • Author of Encoding BDI Syntax with Theories in Event-B within the ABZ-track

2024

NFM

  • Committee Member in Program Committee within the NFM 2024-track

2023

NFM

  • Author of Quantitative Verification and Strategy Synthesis for BDI Agents within the NFM 2023-track
Share
xMon 8 Jun 22:44
using conf.researchr.org (v1.73.2)
Support page
Sign Up