%0 Journal Article %T CGMurphi: Automatic synthesis of numerical controllers for nonlinear hybrid systems %A Della Penna, Giuseppe %A Intrigila, Benedetto %A Magazzeni, Daniele %A Melatti, Igor %A Tronci, Enrico %J European Journal of Control %D 2013 %V 19 %N 1 %I Elsevier North-Holland, Inc. %@ 0947-3580 %F DellaPenna_etal2013 %O exported from refbase (http://mclab.di.uniroma1.it/publications/show.php?record=114), last updated on Mon, 06 May 2013 14:19:54 +0200 %R 10.1016/j.ejcon.2013.02.001 %U http://www.sciencedirect.com/science/article/pii/S0947358013000034 %U http://mclab.di.uniroma1.it/publications/papers/dellapenna/2013/114_DellaPenna_etal2013.pdf %U https://doi.org/10.1016/j.ejcon.2013.02.001 %P 14-36