Publications
Networks . Technical Report, Project HiDyVe, Grant Agreement 20X1908E. Issue 1.1, 2023-12-21. Mario Gleirscher, Anne E. Haxthausen, and Jan Peleska. Probabilistic Risk Assessment of an Obstacle Detection [...] September 18-20, 2023, Proceedings, volume 14131 of Lecture Notes in Computer Science, pages 183–201. Springer, 2023. doi: 10.1007/ 978-3-031-43240-8_12 Wen-ling Huang, Niklas Krafczyk, and Jan Peleska. An [...] 102930 2022 Robert Sachtleben and Jan Peleska. Effective grey-box testing with partial FSM models. Softw. Test. Verification Reliab., 32(2), 2022. doi: 10.1002/stvr.1806 Jan Peleska, Anne E. Haxthausen, and