| Home | << 1 >> |
|
| Author | Title | Year | Publication | Publisher | ISSN | ISBN | DOI | Volume | Pages |
|---|---|---|---|---|---|---|---|---|---|
| Della Penna, Giuseppe; Magazzeni, Daniele; Tofani, Alberto; Intrigila, Benedetto; Melatti, Igor; Tronci, Enrico | Automated Generation Of Optimal Controllers Through Model Checking Techniques | 2008 | Informatics in Control Automation and Robotics. Selected Papers from ICINCO 2006 | Springer | 10.1007/978-3-540-79142-3_10 | 107-119 |