Selected Publications

• Froese, V., Grillo, M., Hertrich, C., & Stargalla, M. (2026). Parameterized Hardness of Zonotope Containment and Neural Network Verification. International Conference on Learning Representations (ICLR 2026). Conference Version. Preprint.
• Stargalla, M., Hertrich, C., & Reichman, D. (2025). The Computational Complexity of Counting Linear Regions in ReLU Neural Networks. Conference on Neural Information Processing Systems (NeurIPS 2025). Conference Version. Preprint.
• Stargalla, M., & Wagner, F. (2025). Optimized Qubit Routing for Commuting Gates via Integer Programming. Preprint.
• Hagn, A., Krause, J., Moreno, L., & Stargalla, M. (2024). Exact and Heuristic Approaches for the Covering Tour Location Routing Problem. Preprint.