SIDRA 2017 Formal Methods for the Control of Large-scale Networked Nonlinear Systems with Logic Specifications Maria Domenica Di Benedetto, Giordano Pola, Pierdomenico Pepe and Alessandro Borri

First Page		Document Content
Date: 2017-07-26 03:53:48		SIDRA 2017 Formal Methods for the Control of Large-scale Networked Nonlinear Systems with Logic Specifications Maria Domenica Di Benedetto, Giordano Pola, Pierdomenico Pepe and Alessandro Borri Add to Reading List Source URL: muwo1.unibo.it Download Document from Source Website File Size: 127,25 KB Share Document on Facebook