Liping Xiong
4 papers · 2016–2025 · 2 venues · 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 ↓
๐
Conference Polyglot ยท Bronze
๐
Academic Marathon ยท Sprint
๐
Interdisciplinary Bridge ยท Bronze
๐ฃ
Hot Topic Early Bird
Top co-authors
Research topics
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)
Papers
A Modal Logic for Joint Abilities of Structured Strategies with Bounded Complexity
AAAI 2025
A Modal Logic for Joint Abilities under Strategy Commitments
IJCAI 2020
Automatic Synthesis of Generalized Winning Strategies of Impartial Combinatorial Games Using SMT Solvers
IJCAI 2020
Strategy Representation and Reasoning for Incomplete Information Concurrent Games in the Situation Calculus
IJCAI 2016