Moritz Stargalla

According to our database1, Moritz Stargalla authored at least 2 papers in 2025.

Collaborative distances:

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

On csauthors.net:

Bibliography

2025
Parameterized Hardness of Zonotope Containment and Neural Network Verification.
CoRR, September, 2025

The Computational Complexity of Counting Linear Regions in ReLU Neural Networks.
Proceedings of the Advances in Neural Information Processing Systems 38: Annual Conference on Neural Information Processing Systems 2025, 2025


  Loading...