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', AI Planning and Scheduling 2002 Workshop on Planning via Model-Checking, ed. F. Kabanza, S. Thiebaux, LAAS-CNRS, Toulouse, France, pp. 23-29.

Year

2002

ANU Authors

Field of Research

  • Artificial Intelligence And Image Processing Not Elsewhere Classified

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