Automated Functional Safety Analysis of Automated Driving Systems
Model-checking algorithms for continuous-time Markov chains