56 citations · 343 across the 31 of their papers we have counts for
3 papers · 1 filter
Proceedings Fifth International Workshop on Formal Methods for Autonomous Systems
Marie Farrell, Matt Luckcuck, Mario Gleirscher +1
This EPTCS volume contains the proceedings for the Fifth International Workshop on Formal Methods for Autonomous Systems (FMAS 2023), which was held on the 15th and 16th of Novembe…
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.…
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…