Guarantees for Sound Abstractions for Generalized Planning.

Blai Bonet, Raquel Fuentetaja, Yolanda E-Martn, Daniel Borrajo

Browse the full IJCAI paper archive.