Liping Xiong
4 papers
· 2016–2025
· 2 conferences
· across top CS/AI conferences
Achievements
🌉
Interdisciplinary Bridge
🧭
Keyword Pioneer
🌍
Conference Polyglot
(2)
🏃
Academic Marathon
(9)
🐝
Cross-Pollinator
(4)
🐣
Hot Topic Early Bird
Conferences
IJCAI (3)
AAAI (1)
Top co-authors
Keywords
multi-agent system
(2)
strategic reasoning
(2)
modal logic
(2)
model checking
(2)
impartial game
(1)
winning strategy
(1)
combinatorial game
(1)
alternating-time temporal logic
(1)
joint abilities
(1)
structured strategies
(1)
norm synthesis
(1)
strategic abilities
(1)
impartial combinatorial game
(1)
linear integer arithmetic
(1)
game theory
(1)
joint ability
(1)
temporal logic
(1)
smt solver
(1)
strategy synthesis
(1)