@Inbook{DellaPenna_etal2008,
author="Della Penna, Giuseppe
and Magazzeni, Daniele
and Tofani, Alberto
and Intrigila, Benedetto
and Melatti, Igor
and Tronci, Enrico",
title="Automated Generation Of Optimal Controllers Through Model Checking Techniques",
bookTitle="Informatics in Control Automation and Robotics. Selected Papers from ICINCO 2006",
year="2008",
publisher="Springer",
pages="107--119",
optnote="exported from refbase (http://mclab.di.uniroma1.it/publications/show.php?record=26), last updated on Thu, 22 Nov 2012 14:59:18 +0100",
doi="10.1007/978-3-540-79142-3_10",
opturl="https://doi.org/10.1007/978-3-540-79142-3_10",
file=":http://mclab.di.uniroma1.it/publications/papers/papers/Della Penna2008.pdf:PDF"
}