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

by Piergiorgio Bertoli , Ro Cimatti , John Slaney , Sylvie Thiébaux
Venue:In ECAI
Citations:24 - 6 self