Publications
test suites. Software Quality Journal, 27(2):589–613, 2019. doi: 10.1007/s11219-018-9421-y Robert Sachtleben, Robert M. Hierons, Wen-ling Huang, and Jan Peleska. A mechanised proof of an adaptive state counting [...] 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 [...] pages 26–36. ACM, 2023a. doi: https://doi.org/10.1145/3623503.3623533 Huang, Wen-ling, Sachtleben, Robert (2023). Conformance Relations Between Input/Output Languages. In: Haxthausen, A.E., Huang, Wl.,