Mengwei Xu

This page is a disambiguation page, it actually contains mutiple papers from persons of the same or a similar name.

Known people with the same name:

Mengwei Xu 001 (Beijing University of Posts and Telecommunications, State Key Laboratory of Networking and Switching Technology, Beijing, China)

Bibliography

2025

CAN-Verify: Automated analysis for BDI agents.

[BibT_eX]

[DOI]

Mengwei Xu

Blair Archibald

Michele Sevegnani

Sci. Comput. Program., 2025

Modelling and verifying BDI agents under uncertainty.

[BibT_eX]

[DOI]

Blair Archibald

Michele Sevegnani

Mengwei Xu

Sci. Comput. Program., 2025

Uncertain Machine Ethics Planning.

[BibT_eX]

[DOI]

Proceedings of the 24th International Conference on Autonomous Agents and Multiagent Systems, 2025

Quantitative Operational Monitoring for BDI Agents.

[BibT_eX]

[DOI]

Marie Farrell

Angelo Ferrando

Mengwei Xu

Proceedings of the 24th International Conference on Autonomous Agents and Multiagent Systems, 2025

2024

Quantitative modelling and analysis of BDI agents.

[BibT_eX]

[DOI]

Softw. Syst. Model., April, 2024

The CAP Principle for LLM Serving: A Survey of Long-Context Large Language Model Serving.

[BibT_eX]

[DOI]

CoRR, 2024

A Practical Operational Semantics for Classical Planning in BDI Agents.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2024 - 27th European Conference on Artificial Intelligence, 19-24 October 2024, Santiago de Compostela, Spain, 2024

Safeguard Privacy for Minimal Data Collection with Trustworthy Autonomous Agents.

[BibT_eX]

[DOI]

Mengwei Xu

Louise A. Dennis

Mustafa A. Mustafa

Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent Systems, 2024

2023

Successful Swarms: Operator Situational Awareness with Modelling and Verification at Runtime.

[BibT_eX]

[DOI]

Mohammad Divband Soorati

Proceedings of the 32nd IEEE International Conference on Robot and Human Interactive Communication, 2023

Quantitative Verification and Strategy Synthesis for BDI Agents.

[BibT_eX]

[DOI]

Proceedings of the NASA Formal Methods - 15th International Symposium, 2023

CAN-verify: A Verification Tool For BDI Agents.

[BibT_eX]

[DOI]

Proceedings of the iFM 2023 - 18th International Conference, 2023

Uncertain Machine Ethical Decisions Using Hypothetical Retrospection.

[BibT_eX]

[DOI]

Proceedings of the Coordination, Organizations, Institutions, Norms, and Ethics for Governance of Multi-Agent Systems XVI, 2023

2022

Modelling and verifying BDI agents with bigraphs.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2022

Verifying BDI Agents in Dynamic Environments.

[BibT_eX]

[DOI]

Proceedings of the 34th International Conference on Software Engineering and Knowledge Engineering, 2022

2021

Observable and Attention-Directing BDI Agents for Human-Autonomy Teaming.

[BibT_eX]

[DOI]

Proceedings of the Proceedings Third Workshop on Formal Methods for Autonomous Systems, 2021

Probabilistic BDI Agents: Actions, Plans, and Intentions.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Formal Methods - 19th International Conference, 2021

2020

Extending BDI agents with robust program execution, adaptive plan library, and efficient intention progression.

[BibT_eX]

[DOI]

Mengwei Xu

PhD thesis, 2020

Relaxed constant positive linear dependence constraint qualification and its application to bilevel programs.

[BibT_eX]

[DOI]

Mengwei Xu

Jane J. Ye

J. Glob. Optim., 2020

2019

Intention Interleaving Via Classical Replanning.

[BibT_eX]

[DOI]

Proceedings of the 31st IEEE International Conference on Tools with Artificial Intelligence, 2019

2018

Quantitative Stability of Two-Stage Linear Second-Order Conic Stochastic Programs with Full Random Recourse.

[BibT_eX]

[DOI]

Asia Pac. J. Oper. Res., 2018

A Formal Approach to Embedding First-Principles Planning in BDI Agent Systems.

[BibT_eX]

[DOI]

Proceedings of the Scalable Uncertainty Management - 12th International Conference, 2018

A Framework for Plan Library Evolution in BDI Agent Systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE 30th International Conference on Tools with Artificial Intelligence, 2018

2015

Smoothing SQP Methods for Solving Degenerate Nonsmooth Constrained Optimization Problems with Applications to Bilevel Programs.

[BibT_eX]

[DOI]

Mengwei Xu

Jane J. Ye

Liwei Zhang

SIAM J. Optim., 2015

Smoothing augmented Lagrangian method for nonsmooth constrained optimization problems.

[BibT_eX]

[DOI]

Mengwei Xu

Jane J. Ye

Liwei Zhang

J. Glob. Optim., 2015

2014

On solving simple bilevel programs with a nonconvex lower level program.

[BibT_eX]

[DOI]

Gui-Hua Lin

Mengwei Xu

Jane J. Ye

Math. Program., 2014

A smoothing augmented Lagrangian method for solving simple bilevel programs.

[BibT_eX]

[DOI]

Mengwei Xu

Jane J. Ye

Comput. Optim. Appl., 2014

Solving semi-infinite programs by smoothing projected gradient method.

[BibT_eX]

[DOI]

Mengwei Xu

Soon-Yi Wu

Jane J. Ye

Comput. Optim. Appl., 2014

Mengwei Xu

Known people with the same name:

Bibliography

Loading...