PPaperPicks

Shufang Zhu

7 papers at tracked venues · 1 at CORE A* · active 2024–2026

DBLP profile ↗ORCID search ↗

Venues

KR ×2AAAI ×1ECAI ×1FM ×1ICAPS ×1IJCAI ×1

Frequent coauthors

Giuseppe De Giacomo
×5
Dror Fried
×2
Moshe Y. Vardi
×2
Gianmarco Parretti
×2
Nadav Alon
×1
Supratik Chakraborty
×1
Alexandre Duret-Lutz
×1
Lucas M. Tabajara
×1
Yongkang Li
×1
Shengping Xiao
×1
Jianwen Li
×1
Geguang Pu
×1

Papers

  1. On-the-fly LTLf Synthesis under Partial Observability
    KR 2026 ·
    Nadav Alon
    ,
    Supratik Chakraborty
    ,
    Alexandre Duret-Lutz
    ,
    Dror Fried
    ,
    Lucas M. Tabajara
    ,
    Moshe Y. Vardi
    , Shufang Zhu
  2. A Compositional Framework for On-the-Fly LTLf Synthesis
    ECAI 2025 ·
    Yongkang Li
    ,
    Shengping Xiao
    , Shufang Zhu,
    Jianwen Li
    ,
    Geguang Pu
  3. Emerson-Lei and Manna-Pnueli Games for LTLf+ and PPLTL+ Synthesis
    KR 2025 ·
    Daniel Hausmann
    , Shufang Zhu,
    Gianmarco Parretti
    ,
    Christoph Weinhuber
    ,
    Giuseppe De Giacomo
    ,
    Nir Piterman
  4. LTLf Adaptive Synthesis for Multi-Tier Goals in Nondeterministic Domains
    ICAPS 2025 ·
    Giuseppe De Giacomo
    ,
    Gianmarco Parretti
    , Shufang Zhu
  5. Mimicking Behaviors in Separated Domains (Abstract Reprint)
    AAAI 2024 ·
    Giuseppe De Giacomo
    ,
    Dror Fried
    ,
    Fabio Patrizi
    , Shufang Zhu
  6. Misconceptions in Finite-Trace and Infinite-Trace Linear Temporal Logic
    FM 2024 ·
    Ben Greenman
    ,
    Siddhartha Prasad
    ,
    Antonio Di Stasio
    , Shufang Zhu,
    Giuseppe De Giacomo
    ,
    Shriram Krishnamurthi
    ,
    Marco Montali
    ,
    Tim Nelson
    ,
    Milda Zizyte
  7. The Trembling-Hand Problem for LTLf Planning
    IJCAI 2024 ·
    Pian Yu
    , Shufang Zhu,
    Giuseppe De Giacomo
    ,
    Marta Kwiatkowska
    ,
    Moshe Y. Vardi