PPaperPicks

Songtuan Lin

5 papers at tracked venues · 3 at CORE A* · active 2024–2025

DBLP profile ↗ORCID search ↗

Venues

AAAI ×3ECAI ×1ICAPS ×1

Frequent coauthors

Nader Karimi Bavandpour
DBLP profile ↗ORCID search ↗
×1
Pascal Lauer
DBLP profile ↗ORCID search ↗
×1
Ruiqi Li
DBLP profile ↗ORCID search ↗
×1

Papers

  1. Repairing Planning Domains Based on Lifted Test Plans
    ECAI 2025 ·
    Nader Karimi Bavandpour
    DBLP profile ↗ORCID search ↗
  2. Tight Bounds for Lifted HTN Plan Verification and Bounded Plan Existence
    ICAPS 2025 ·
    Pascal Lauer
    DBLP profile ↗ORCID search ↗
  3. Told You That Will Not Work: Optimal Corrections to Planning Domains Using Counter-Example Plans
    AAAI 2025 · Songtuan Lin
  4. NaRuto: Automatically Acquiring Planning Models from Narrative Texts
    AAAI 2024 ·
    Ruiqi Li
    DBLP profile ↗ORCID search ↗
  5. On the Computational Complexity of Plan Verification, (Bounded) Plan-Optimality Verification, and Bounded Plan Existence
    AAAI 2024 · Songtuan Lin