Hemeng Zeng

1
papers
0
total citations

papers (1)

An Automatic Sound and Complete Abstraction Method for Generalized Planning with Baggable Types

AAAI 2025arXiv
0
citations