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

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

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