Althoff, M.;Stursberg, O.;Buss, M.
Safety Assessment of Autonomous Cars using Verification Techniques
4154-4159
Proc. of the American Control Conference
2007

Althoff, M.;Stursberg, O.;Buss, M.
Online Verification of Cognitive Car Decisions
728-733
Proc. of the IEEE Intelligent Vehicles Symposium
2007

Althoff, M.;Stursberg, O.;Buss, M.
Reachability Analysis of Linear Systems with uncertain Parameters and Inputs
726-732
Proc. of the 46th IEEE Conference on Decision and Control
2007