Automatic generation of optimal controllers through model checking techniques.

Giuseppe Della Penna Daniele Magazzeni Alberto Tofani Benedetto Intrigila Igor Melatti Enrico Tronci Automatic generation of optimal controllers through model checking techniques. 26-33 2006 conf/icinco/2006icso ICINCO-ICSO db/conf/icinco/icinco2006-icso.html#PennaMTIMT06