Shufang Zhu
8 papers
· 2017–2024
· 2 conferences
· across top CS/AI conferences
Achievements
πΊοΈ
Taxonomy Completionist
(14)
π
Conference Polyglot
(2)
π
Academic Marathon
(7)
π
Cross-Pollinator
(5)
π
Renaissance Researcher
(5)
π
Interdisciplinary Bridge
π§
Keyword Pioneer
π
Trend Setter
Conferences
IJCAI (5)
AAAI (3)
Top co-authors
Keywords
linear temporal logic
(6)
formal verification
(4)
finite trace
(4)
strategy synthesis
(4)
game theory
(2)
deterministic finite automaton
(2)
knowledge compilation
(1)
planning under uncertainty
(1)
formal methods
(1)
graph search
(1)
maximally permissive strategy
(1)
automata theory
(1)
ltlf synthesis
(1)
fairness constraint
(1)
symbolic synthesis
(1)
temporal logic
(1)
symbolic computation
(1)
intelligent agent
(1)
markov decision process
(1)
automated planning
(1)
Papers
The Trembling-Hand Problem for LTLf Planning
IJCAI 2024
Symbolic LTLf Synthesis
IJCAI 2017