Zhiwu Xu
2 papers · 2019–2026 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓
๐
Interdisciplinary Bridge
๐งญ
Keyword Pioneer
๐ฃ
Hot Topic Early Bird
๐
Cross-Pollinator
(15)
๐
Conference Pioneer
Conferences
AAAI (1)
ACL (1)
Top co-authors
Keywords
probabilistic modeling
(1)
game theory
(1)
probabilistic logic
(1)
formal methods
(1)
formal verification
(1)
strategic reasoning
(1)
stochastic game
(1)
temporal logic
(1)
model checking
(1)
neuro-symbolic system
(1)
large language model
(1)
multi-agent system
(1)
alternating-time mu calculus
(1)
strategic abilities
(1)
alternating-time mu-calculus
(1)
program specification
(1)
specification synthesis
(1)