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

by P Bertoli, A Cimatti, J Slaney, S Thiébaux
Venue:In Harmelen, F. V. (Ed.), Proceedings of the 15th European Conference on Artificial Intelligence (ECAI-02