Songtuan Lin

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 11

Top Topics

Partial Observability

Planning Domains

Computational Complexity

Top Venues

Publications

Songtuan Lin, Conny Olz, Malte Helmert, Pascal Bercher
On the Computational Complexity of Plan Verification, (Bounded) Plan-Optimality Verification, and Bounded Plan Existence. AAAI (2024)
Songtuan Lin, Daniel Höller, Pascal Bercher
Modeling Assistance for Hierarchical Planning: An Approach for Correcting Hierarchical Domains with Missing Actions. SOCS (2024)
Ruiqi Li, Leyang Cui, Songtuan Lin, Patrik Haslum
NaRuto: Automatically Acquiring Planning Models from Narrative Texts. AAAI (2024)
Songtuan Lin, Gregor Behnke, Simona Ondrcková, Roman Barták, Pascal Bercher
On Total-Order HTN Plan Verification with Method Preconditions - An Extension of the CYK Parsing Algorithm. AAAI (2023)
Songtuan Lin, Pascal Bercher
Was Fixing This Really That Hard? On the Complexity of Correcting HTN Domains. AAAI (2023)
Ruiqi Li, Leyang Cui, Songtuan Lin, Patrik Haslum
Automated Action Model Acquisition from Narrative Texts. CoRR (2023)
Songtuan Lin, Gregor Behnke, Pascal Bercher
Accelerating SAT-Based HTN Plan Verification by Exploiting Data Structures from HTN Planning. ECAI (2023)
Songtuan Lin, Alban Grastien, Pascal Bercher
Towards Automated Modeling Assistance: An Efficient Approach for Repairing Flawed Planning Domains. AAAI (2023)
Pascal Bercher, Songtuan Lin, Ron Alford
Tight Bounds for Hybrid Planning. IJCAI (2022)
Songtuan Lin, Pascal Bercher
On the Expressive Power of Planning Formalisms in Conjunction with LTL. ICAPS (2022)
Songtuan Lin, Pascal Bercher
Change the World - How Hard Can that Be? On the Computational Complexity of Fixing Planning Models. IJCAI (2021)