PT Chapter
AU Della Penna, G
   Magazzeni, D
   Tofani, A
   Intrigila, B
   Melatti, I
   Tronci, E
TI Automated Generation Of Optimal Controllers Through Model Checking Techniques
BT Informatics in Control Automation and Robotics. Selected Papers from ICINCO 2006
PY 2008
BP 107
EP 119
DI 10.1007/978-3-540-79142-3_10
ER