Chuchu Fan, Yu Meng, Jürgen Maier 0002, Ezio Bartocci, Sayan Mitra, Ulrich Schmid 0001. Verifying nonlinear analog and mixed-signal circuits with inputs. In Alessandro Abate, Antoine Girard, Maurice Heemels, editors, 6th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2018, Oxford, UK, July 11-13, 2018. Volume 51 of IFAC-PapersOnLine, pages 241-246, Elsevier, 2018. [doi]
Abstract is missing.