Solving power supply restoration problems with planning via symbolic model checking (2002)

by P Bertoli, A Cimatti, J K Slaney, S Thiébaux
Venue:In Proc. 15th Eureopean Conference on Artificial Intelligence (ECAI