Songtuan Lin

3

Papers

0

Total Citations

Papers (3)

Told You That Will Not Work: Optimal Corrections to Planning Domains Using Counter-Example Plans

NaRuto: Automatically Acquiring Planning Models from Narrative Texts

On the Computational Complexity of Plan Verification, (Bounded) Plan-Optimality Verification, and Bounded Plan Existence