Probabilistic Collision State Checker for Crowded Environments
1492-1498
Proc. of the IEEE International Conference on Robotics and Automation
2010
Reachability Analysis and its Application to the Safety Assessment of Autonomous Cars
Dissertation
2010
221 p.
Safety Verification of Autonomous Vehicles for Coordinated Evasive Maneuvers
1078-1083
Proc. of the IEEE Intelligent Vehicles Symposium
2010
Computing Reachable Sets of Hybrid Systems Using a Combination of Zonotopes and Polytopes
Nonlinear Analysis: Hybrid Systems
2010
4
2
233-249