MIT

Building Safe Autonomy

Search

Main menu

Home
PublicationsA list of publications
About
News
Contact

Bartocci, Ezio

2018
Verifying nonlinear analog and mixed-signal circuits with inputs

IFAC Conference on Analysis and Design of Hybrid Systems, (ADHS)

MIT

Massachusetts Institute of Technology
77 Massachusetts Avenue, Cambridge, MA, USA