Zheyuan Shi

1
Papers
0
Total Citations

Papers (1)

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

AAAI 2025
0
citations