Shufang Zhu

8 papers · 2017–2024 · 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 ↓

+1 more ↓

🌍 Conference Polyglot · Bronze 🏃 Academic Marathon · Sprint 🌉 Interdisciplinary Bridge · Silver 🗺️ Taxonomy Completionist (14) 🧭 Keyword Pioneer

📈 Trend Setter

Venues

IJCAI (5) AAAI (3)

Top co-authors

Giuseppe De Giacomo (6) Geguang Pu (3) Moshe Y. Vardi (3) Jianwen Li (3) Moshe Vardi (3) Shengping Xiao (2) Lucas M. Tabajara (2) Dror Fried (1) Marta Kwiatkowska (1) Fabio Patrizi (1)

Research topics

Artificial Intelligence (6) Core AI (6) Mathematics & Optimization (5) Knowledge & Reasoning (4) Reasoning (4) Optimization (3) Computer Science (2) Foundations (2) Mathematics (2) Machine Learning (1) Optimization & Theory (1)

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 LTLf Synthesis as AND-OR Graph Search: Knowledge Compilation at Work IJCAI 2022 Synthesis of Maximally Permissive Strategies for LTLf Specifications 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