Niklas Kochdumper, Ahmad Tarraf, Malgorzata Rechmal, Markus Olbrich, Lars Hedrich, Matthias Althoff. Establishing Reachset Conformance for the Formal Analysis of Analog Circuits. In 25th Asia and South Pacific Design Automation Conference, ASP-DAC 2020, Beijing, China, January 13-16, 2020. pages 199-204, IEEE, 2020. [doi]
Abstract is missing.