@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},
}