Litcius/Paper detail

Open- and Closed-Loop Neural Network Verification Using Polynomial Zonotopes

Niklas Kochdumper, Christian Schilling, Matthias Althoff, Stanley Bak

2023Lecture notes in computer science41 citationsDOI

Topics & Concepts

Computer scienceArtificial neural networkConvexityPolynomialReachabilitySigmoid functionSet (abstract data type)AlgorithmArtificial intelligenceMathematicsFinancial economicsProgramming languageEconomicsMathematical analysisAdversarial Robustness in Machine LearningFormal Methods in VerificationCardiac electrophysiology and arrhythmias
Open- and Closed-Loop Neural Network Verification Using Polynomial Zonotopes | Litcius