%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 (show.php?record=31), last updated on Thu, 16 Jan 2014 16:18:21 +0100 %U http://www.sciencedirect.com/science/article/pii/S0947358013000034 %U papers/dellapenna/2013/31_DellaPenna_etal2013.pdf %U http://dx.doi.org/10.1016/j.ejcon.2013.02.001 %P 14-36