Comparison of Markov Chain Abstraction and Monte Carlo Simulation for the Safety Assessment of Autonomous Cars. - Matthias Althoff; Alexander Mergel (IEEE Trans. Intell. Transp. Syst., 2011)