Publications
editors, Proceedings Third Workshop on Formal Methods for Autonomous Systems, FMAS 2021, Virtual, 21st-22nd of October 2021, volume 348 of EPTCS, pages 54–72, 2021b. doi: 10.4204/EPTCS.348.4 Mario Gleirscher [...] editors, Proceedings Third Workshop on Formal Methods for Autonomous Systems, FMAS 2021, Virtual, 21st-22nd of October 2021, volume 348 of EPTCS, pages 101–109, 2021. doi: 10.4204/EPTCS.348.7 2020 Jan [...] l Neural 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