PPaperPicks

Shufang Zhu

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

DBLP profile ↗ORCID search ↗

Venues

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

Frequent coauthors

Giuseppe De Giacomo
DBLP profile ↗ORCID search ↗
×2
Nadav Alon
DBLP profile ↗ORCID search ↗
×1
Yongkang Li
DBLP profile ↗ORCID search ↗
×1
Daniel Hausmann
DBLP profile ↗ORCID search ↗
×1
Pian Yu
DBLP profile ↗ORCID search ↗
×1

Papers

  1. On-the-fly LTLf Synthesis under Partial Observability
    KR 2026 ·
    Nadav Alon
    DBLP profile ↗ORCID search ↗
  2. A Compositional Framework for On-the-Fly LTLf Synthesis
    ECAI 2025 ·
    Yongkang Li
    DBLP profile ↗ORCID search ↗
  3. Emerson-Lei and Manna-Pnueli Games for LTLf+ and PPLTL+ Synthesis
    KR 2025 ·
    Daniel Hausmann
    DBLP profile ↗ORCID search ↗
  4. LTLf Adaptive Synthesis for Multi-Tier Goals in Nondeterministic Domains
    ICAPS 2025 ·
    Giuseppe De Giacomo
    DBLP profile ↗ORCID search ↗
  5. Mimicking Behaviors in Separated Domains (Abstract Reprint)
    AAAI 2024 ·
    Giuseppe De Giacomo
    DBLP profile ↗ORCID search ↗
  6. The Trembling-Hand Problem for LTLf Planning
    IJCAI 2024 ·
    Pian Yu
    DBLP profile ↗ORCID search ↗