Mario Gleirscher, Anne E. Haxthausen, Jan Peleska 0001. Probabilistic Risk Assessment of an Obstacle Detection System for GoA 4 Freight Trains. In Cyrille Artho, Peter Csaba Ölveczky, editors, Proceedings of the 9th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2023, Cascais, Portugal, 22 October 2023. pages 26-36, ACM, 2023. [doi]
Abstract is missing.