Synthesis of schedulers for planned shutdowns of power plants

Carla P. Gomes, Douglas R. Smith, Stephen J. Westfold. Synthesis of schedulers for planned shutdowns of power plants. In Proceedings of the 11th Knowledge-Based Software Engineering Conference, KBSE 1996, Syracuse, NY, USA, September 25-28, 1996. pages 12-20, IEEE Computer Society, 1996. [doi]

Abstract

Abstract is missing.