Comparison of Markov Chain Abstraction and Monte Carlo Simulation for the Safety Assessment of Autonomous CarsALTHOFF, Matthias; MERGEL, Alexander.IEEE Transactions on intelligent transportation systems. 2011, Vol 12, Num 4, pp 1237-1247, issn 1524-9050, 11 p.Article

Model-Based Probabilistic Collision Detection in Autonomous DrivingALTHOFF, Matthias; STURSBERG, Olaf; BUSS, Martin et al.IEEE Transactions on intelligent transportation systems. 2009, Vol 10, Num 2, pp 299-310, issn 1524-9050, 12 p.Article

Formal Verification of Phase-Locked Loops Using Reachability Analysis and ContinuizationALTHOFF, Matthias; RAJHANS, Akshay; KROGH, Bruce H et al.Communications of the ACM. 2013, Vol 56, Num 10, pp 97-104, issn 0001-0782, 8 p.Article