Giuseppe Della Penna, Daniele Magazzeni, Alberto Tofani, Benedetto Intrigila, Igor Melatti, Enrico Tronci. Automatic generation of optimal controllers through model checking techniques. In Juan Andrade-Cetto, Jean-Louis Ferrier, José Dias Pereira, Joaquim Filipe, editors, ICINCO 2006, Proceedings of the Third International Conference on Informatics in Control, Automation and Robotics, Intelligent Control Systems and Optimization, Setúbal, Portugal, August 1-5, 2006. pages 26-33, INSTICC Press, 2006.
Abstract is missing.