Comparison of Markov Chain Abstraction and Monte Carlo Simulation for the Safety Assessment of Autonomous Cars | IEEE Journals & Magazine | IEEE Xplore