Chunyan Mu
2 papers · 2025–2025 · 1 venue · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓
🌉
Interdisciplinary Bridge · Bronze
Venues
Top co-authors
Research topics
Keywords
model checking
(2)
strategic reasoning
(1)
stochastic game
(1)
probabilistic multiagent system
(1)
multi-agent system
(1)
probabilistic strategy logic
(1)
stochastic multi-agent system
(1)
information transparency
(1)
observability operator
(1)
causal responsibility
(1)
probabilistic alternating-time temporal logic
(1)
parametric model checking
(1)
nash equilibrium
(1)
responsibility-aware reasoning
(1)