Safety Assessment of Autonomous Cars using Verification Techniques
4154-4159
Proc. of the American Control Conference
2007
Online Verification of Cognitive Car Decisions
728-733
Proc. of the IEEE Intelligent Vehicles Symposium
2007
Reachability Analysis of Linear Systems with uncertain Parameters and Inputs
726-732
Proc. of the 46th IEEE Conference on Decision and Control
2007