Althoff, M.;Stursberg, O.;Buss, M.Safety Assessment of Autonomous Cars using Verification Techniques4154-4159Proc. of the American Control Conference2007
Althoff, M.;Stursberg, O.;Buss, M.Online Verification of Cognitive Car Decisions728-733Proc. of the IEEE Intelligent Vehicles Symposium2007
Althoff, M.;Stursberg, O.;Buss, M.Reachability Analysis of Linear Systems with uncertain Parameters and Inputs726-732Proc. of the 46th IEEE Conference on Decision and Control2007