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

Dong et al. "An Automatic Sound and Complete Abstraction Method for Generalized Planning with Baggable Types." AAAI Conference on Artificial Intelligence, 2025. doi:10.1609/AAAI.V39I14.33631

[Dong et al. "An Automatic Sound and Complete Abstraction Method for Generalized Planning with Baggable Types." AAAI Conference on Artificial Intelligence, 2025.](https://mlanthology.org/aaai/2025/dong2025aaai-automatic/) doi:10.1609/AAAI.V39I14.33631

@inproceedings{dong2025aaai-automatic,
  title     = {{An Automatic Sound and Complete Abstraction Method for Generalized Planning with Baggable Types}},
  author    = {Dong, Hao and Shi, Zheyuan and Zeng, Hemeng and Liu, Yongmei},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {2025},
  pages     = {14875-14884},
  doi       = {10.1609/AAAI.V39I14.33631},
  url       = {https://mlanthology.org/aaai/2025/dong2025aaai-automatic/}
}