TY  - RPRT
TI  - Guarantees for Sound Abstractions for Generalized Planning (Extended Paper)
AU  - Blai Bonet
AU  - Raquel Fuentetaja
AU  - Yolanda E-Martin
AU  - Daniel Borrajo
PY  - 2019
UR  - https://arxiv.org/abs/1905.12071
ID  - 1905.12071
ER  -