Automatic Generation Of Optimal Controllers Through Model Checking Techniques / G., DELLA PENNA; B., Intrigila; D., Magazzeni; Melatti, Igor; A., Tofani; Tronci, Enrico. - STAMPA. - (2006), pp. 26-33. (Intervento presentato al convegno 3rd International Conference on Informatics in Control, Automation and Robotics (ICINCO 2006) tenutosi a Setubal, Portugal nel August 1-5 , 2006).
Automatic Generation Of Optimal Controllers Through Model Checking Techniques
MELATTI, IGOR;TRONCI, Enrico
2006
File allegati a questo prodotto
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.