SYNTH learns STRIPS+ action models with implicit action arguments and unobserved predicates from incomplete state-action traces, with conditional completeness guarantees and 100 percent verification in experiments.
Title resolution pending
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.AI 1years
2025 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
Learning Lifted Action Models From Traces of Incomplete Actions and States
SYNTH learns STRIPS+ action models with implicit action arguments and unobserved predicates from incomplete state-action traces, with conditional completeness guarantees and 100 percent verification in experiments.