Sebastian Sontges, Matthias Althoff. Determining the Nonexistence of Evasive Trajectories for Collision Avoidance Systems. In IEEE 18th International Conference on Intelligent Transportation Systems, ITSC 2015, Gran Canaria, Spain, September 15-18, 2015. pages 956-961, IEEE, 2015. [doi]
Abstract is missing.