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

Field of Research

  • Artificial Intelligence And Image Processing Not Elsewhere Classified

Updated:  14 August 2020 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers