Chunyan Mu
2 papers
· 2025–2025
· 1 conference
· across top CS/AI conferences
Achievements
🌉
Interdisciplinary Bridge
🧭
Keyword Pioneer
🐝
Cross-Pollinator
(15)
Conferences
AAAI (2)
Top co-authors
Keywords
model checking
(2)
strategic reasoning
(1)
stochastic game
(1)
multi-agent system
(1)
probabilistic strategy logic
(1)
stochastic multi-agent system
(1)
information transparency
(1)
observability operator
(1)
probabilistic multi-agent system
(1)
causal responsibility
(1)
probabilistic alternating-time temporal logic
(1)
parametric model checking
(1)
nash equilibrium
(1)
responsibility-aware reasoning
(1)