Publications
Error Estimates in Convolutional Neural Networks . Technical Report, Project HiDyVe, Grant Agreement 20X1908E. Issue 1.1, 2023-12-21. Mario Gleirscher, Anne E. Haxthausen, and Jan Peleska. Probabilistic [...] Software and Systems - 35th IFIP WG 6.1 International Conference, ICTSS 2023, Bergamo, Italy, September 18-20, 2023, Proceedings, volume 14131 of Lecture Notes in Computer Science, pages 183–201. Springer, 2023 [...] International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part III, volume 12478 of Lecture Notes in Computer Science, pages 434–448.