Solving power supply restoration problems with planning via symbolic model checking
Date
2002
Authors
Bertoli, Piergiorgio
Cimatti, Alessandro
Slaney, John K
Thiebaux, Sylvie
Journal Title
Journal ISSN
Volume Title
Publisher
IOS Press
Abstract
Description
Keywords
Citation
Collections
Source
Proceedings of the 15th European Conference on Artificial Intelligence
Type
Conference paper