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 [...] nal Publishing. ISBN 978-3-031-04673-5 2021 Jan Peleska, Niklas Krafczyk, Anne E. Haxthausen, and Ralf Pinger. Efficient data validation for geographical interlocking systems. Formal Aspects Comput., 33