Chunyan Mu

Associate Professor, University of Aberdeen

Joined

August 2024

Names

Chunyan Mu (Preferred)

Emails

****@abdn.ac.uk (Confirmed)

Personal Links

Career & Education History

Associate Professor

University of Aberdeen (abdn.ac.uk)

2023 – Present

Advisors, Relations & Conflicts

No relations added

Expertise

logic

,

verification

,

responsibility

,

security

,

safety

,

trust

,

multiagent systems

Present

Publications

Responsibility-aware Strategic Reasoning in Probabilistic Multi-Agent Systems
Chunyan Mu, Muhammad Najib, Nir Oren
- AAAI 2025
- Readers: Everyone
Probabilistic Strategy Logic with Degrees of Observability
Chunyan Mu, Nima Motamed, Natasha Alechina, Brian Logan
- AAAI 2025
- Readers: Everyone
Measuring Responsibility in Multi-Agent Systems
Chunyan Mu, Nir Oren
- CoRR 2024
- Readers: Everyone
Bunch theory: Axioms, logic, applications and model
Bill Stoddart, Steve Dunne, Chunyan Mu, Frank Zeyda
- J. Log. Algebraic Methods Program. 2024
- Readers: Everyone
Verifying Opacity Properties in Security Systems
Chunyan Mu, David Clark
- IEEE Trans. Dependable Secur. Comput. 2023
- Readers: Everyone
On Observability Analysis in Multiagent Systems
Chunyan Mu, Jun Pang
- ECAI 2023
- Readers: Everyone
On Quantified Observability Analysis in Multiagent Systems
Chunyan Mu, Jun Pang
- CoRR 2023
- Readers: Everyone
Quantitative Verification of Opacity Properties in Security Systems
Chunyan Mu, David Clark
- CoRR 2022
- Readers: Everyone

View all 15 publications

Co-Authors