Dettaglio pubblicazione
2014, INTERNATIONAL JOURNAL OF ROBUST AND NONLINEAR CONTROL, Pages 699-724 (volume: 24)
Assume-guarantee verification of nonlinear hybrid systems with ARIADNE (01a Articolo in rivista)
Benvenuti Luca, D. Bresolin, P. Collins, A. Ferrari, L. Geretti, T. Villa
keywords