Solving power supply restoration problems with planning via symbolic model checking

Citation

Bertoli, P, Cimatti, A, Slaney, J et al 2002, 'Solving power supply restoration problems with planning via symbolic model checking', European Conference on Artificial Intelligence (ECAI 2002), ed. F. van Harmelen, IOS Press, The Netherlands, pp. 576-580.

Year

2002

ANU Authors

Field of Research

  • Artificial Intelligence And Image Processing Not Elsewhere Classified

Updated:  20 April 2024 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers