@INPROCEEDINGS{ICINCO06,
author = {Giuseppe Della Penna and Benedetto Intrigila and Daniele Magazzeni and Igor Melatti and Alberto Tofani and Enrico Tronci},
title = {Automatic Generation Of Optimal Controllers Through Model Checking Techniques},
doi = {10.1007/978-3-540-79142-3_10},
series = {Lecture Notes in Electrical Engineering (Informatics in Control Automation and Robotics)},
booktitle = {Proceedings of 3rd International Conference on Informatics in Control, Automation and Robotics},
editor = {Springer-Verlag},
pages = {107--122},
volume = {15},
}