Automatic generation of optimal controllers through model checking techniques.

Giuseppe Della Penna, Daniele Magazzeni, Alberto Tofani, Benedetto Intrigila, Igor Melatti, Enrico Tronci

Browse the full ICINCO paper archive.