Solving Power Supply Restoration Problems with Planning via Symbolic Model Checking.

Piergiorgio Bertoli, Alessandro Cimatti, John K. Slaney, Sylvie Thibaux

Browse the full ECAI paper archive.