%0 Book Section
%T Automated Generation Of Optimal Controllers Through Model Checking Techniques
%A Della Penna, Giuseppe
%A Magazzeni, Daniele
%A Tofani, Alberto
%A Intrigila, Benedetto
%A Melatti, Igor
%A Tronci, Enrico
%B Informatics in Control Automation and Robotics. Selected Papers from ICINCO 2006
%D 2008
%I Springer
%F DellaPenna_etal2008
%O exported from refbase (http://mclab.di.uniroma1.it/publications/show.php?record=26), last updated on Thu, 22 Nov 2012 14:59:18 +0100
%R 10.1007/978-3-540-79142-3_10
%U http://mclab.di.uniroma1.it/publications/papers/papers/Della Penna2008.pdf
%U https://doi.org/10.1007/978-3-540-79142-3_10
%P 107-119