@Article{DellaPenna_etal2013,
author="Della Penna, Giuseppe
and Intrigila, Benedetto
and Magazzeni, Daniele
and Melatti, Igor
and Tronci, Enrico",
title="CGMurphi: Automatic synthesis of numerical controllers for nonlinear hybrid systems",
journal="European Journal of Control",
year="2013",
publisher="Elsevier North-Holland, Inc.",
volume="19",
number="1",
pages="14--36",
optnote="exported from refbase (http://mclab.di.uniroma1.it/publications/show.php?record=114), last updated on Mon, 06 May 2013 14:19:54 +0200",
issn="0947-3580",
doi="10.1016/j.ejcon.2013.02.001",
opturl="http://www.sciencedirect.com/science/article/pii/S0947358013000034",
opturl="https://doi.org/10.1016/j.ejcon.2013.02.001",
file=":http://mclab.di.uniroma1.it/publications/papers/dellapenna/2013/114_DellaPenna_etal2013.pdf:PDF"
}