Stargalla, Moritz

2 publications

ICLR 2026 Parameterized Hardness of Zonotope Containment and Neural Network Verification Vincent Froese, Moritz Leo Grillo, Christoph Hertrich, Moritz Stargalla

NeurIPS 2025 The Computational Complexity of Counting Linear Regions in ReLU Neural Networks Moritz Stargalla, Christoph Hertrich, Daniel Reichman