Althoff, D.;Althoff, M.;Wollherr, D.;Buss, M.
Probabilistic Collision State Checker for Crowded Environments
1492-1498
Proc. of the IEEE International Conference on Robotics and Automation
2010

221 p.
Althoff, M.
Reachability Analysis and its Application to the Safety Assessment of Autonomous Cars
Dissertation
2010

Althoff, M.;Althoff, D.;Wollherr, D.;Buss, M.
Safety Verification of Autonomous Vehicles for Coordinated Evasive Maneuvers
1078-1083
Proc. of the IEEE Intelligent Vehicles Symposium
2010

Althoff, M.;Stursberg, O.;Buss, M.
Computing Reachable Sets of Hybrid Systems Using a Combination of Zonotopes and Polytopes
Nonlinear Analysis: Hybrid Systems
2010
4
2
233-249