TY  - CHAP
AU  - Della Penna, Giuseppe
AU  - Magazzeni, Daniele
AU  - Tofani, Alberto
AU  - Intrigila, Benedetto
AU  - Melatti, Igor
AU  - Tronci, Enrico
PY  - 2008
DA  - 2008//
TI  - Automated Generation Of Optimal Controllers Through Model Checking Techniques
BT  - Informatics in Control Automation and Robotics. Selected Papers from ICINCO 2006
SP  - 107
EP  - 119
PB  - Springer
L1  - http://mclab.di.uniroma1.it/publications/papers/papers/Della Penna2008.pdf
UR  - https://doi.org/10.1007/978-3-540-79142-3_10
DO  - 10.1007/978-3-540-79142-3_10
N1  - exported from refbase (http://mclab.di.uniroma1.it/publications/show.php?record=26), last updated on Thu, 22 Nov 2012 14:59:18 +0100
ID  - DellaPenna_etal2008
ER  -