self - driving cars : ethical responsibilities of design engineers .
Comparison of Markov Chain Abstraction and Monte Carlo Simulation for the Safety Assessment of Autonomous Cars