Shufang Zhu
8 papers · 2017–2024 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+3 more ↓ Show less ↑
πΊοΈ 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
Mimicking Behaviors in Separated Domains (Abstract Reprint)
AAAI 2024
The Trembling-Hand Problem for LTLf Planning
IJCAI 2024
Synthesis of Maximally Permissive Strategies for LTLf Specifications
IJCAI 2022
LTLf Synthesis as AND-OR Graph Search: Knowledge Compilation at Work
IJCAI 2022
Finite-Trace and Generalized-Reactivity Specifications in Temporal Synthesis
IJCAI 2021
On-the-fly Synthesis for LTL over Finite Traces
AAAI 2021
LTLΖ Synthesis with Fairness and Stability Assumptions
AAAI 2020
Symbolic LTLf Synthesis
IJCAI 2017