Zhiwu Xu

1 papers · 2019–2019 · 1 conference · across top CS/AI conferences

Achievements

🌉 Interdisciplinary Bridge 🧭 Keyword Pioneer 🐣 Hot Topic Early Bird 🐝 Cross-Pollinator (15) 🚀 Conference Pioneer

Conferences

AAAI (1)

Top co-authors

Yu Tang (1) Fu Song (1) Taolue Chen (1) Yedi Zhang (1)

Keywords

probabilistic modeling (1) game theory (1) probabilistic logic (1) formal methods (1) strategic reasoning (1) stochastic game (1) temporal logic (1) model checking (1) multi-agent system (1) alternating-time mu calculus (1) strategic abilities (1) alternating-time mu-calculus (1)

Papers

Probabilistic Alternating-Time µ-Calculus AAAI 2019