Songtuan Lin

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

DBLP profile ↗ORCID search ↗

Venues

AAAI ×3 ECAI ×1 ICAPS ×1

Frequent coauthors

Pascal Bercher

×4

Pascal Lauer

×2

Nader Karimi Bavandpour

×1

Alban Grastien

×1

Rahul Shome

×1

Ruiqi Li

×1

Leyang Cui

×1

Patrik Haslum

×1

Conny Olz

×1

Malte Helmert

×1

Papers

Repairing Planning Domains Based on Lifted Test Plans
ECAI 2025 ·
Nader Karimi Bavandpour
,
Pascal Lauer
, Songtuan Lin,
Pascal Bercher
Tight Bounds for Lifted HTN Plan Verification and Bounded Plan Existence
ICAPS 2025 ·
Pascal Lauer
, Songtuan Lin,
Pascal Bercher
Told You That Will Not Work: Optimal Corrections to Planning Domains Using Counter-Example Plans
AAAI 2025 · Songtuan Lin,
Alban Grastien
,
Rahul Shome
,
Pascal Bercher
NaRuto: Automatically Acquiring Planning Models from Narrative Texts
AAAI 2024 ·
Ruiqi Li
,
Leyang Cui
, Songtuan Lin,
Patrik Haslum
On the Computational Complexity of Plan Verification, (Bounded) Plan-Optimality Verification, and Bounded Plan Existence
AAAI 2024 · Songtuan Lin,
Conny Olz
,
Malte Helmert
,
Pascal Bercher