106 citations · 131 across the 8 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
eess.SY2023★ 6 cited
Probabilistic Risk Assessment of an Obstacle Detection System for GoA 4 Freight Trains
Mario Gleirscher, Anne E. Haxthausen, Jan Peleska
In this paper, a quantitative risk assessment approach is discussed for the design of an obstacle detection function for low-speed freight trains with grade of automation (GoA)~4.…
cs.SE2023★ 7 cited
Qualification of Proof Assistants, Checkers, and Generators: Where Are We and What Next?
Mario Gleirscher, Robert Sachtleben, Jan Peleska
Cyber-physical systems, such as learning robots and other autonomous systems, employ high-integrity software in their safety-critical control. This software is developed using a ra…