Planning via Model Checking in Deterministic Domains: Preliminary Report.

Mauro Di Manzo, Enrico Giunchiglia, Simone Ruffino

Browse the full AIMSA paper archive.