@INPROCEEDINGS{IETA07,
author = {Giuseppe Della Penna and Benedetto Intrigila and Daniele Magazzeni},
title = {Synthesis of Optimal Control Systems: a Comparison between Model Checking and Dynamic Programming Techniques},
series = {Novel Algorithms and Techniques in Telecommunications, Automation and Industrial Electronics},
booktitle = {Proceedings of International Conference on Industrial Electronics, Technology & Automation},
editor = {Springer-Verlag},
pages = {54--59},
year = {2007},
month = {12},
}