Matthias Althoff, John M. Dolan. Set-based computation of vehicle behaviors for the online verification of autonomous vehicles. In 14th International IEEE Conference on Intelligent Transportation Systems, ITSC 2011, Washington, DC, USA, October 5-7, 2011. pages 1162-1167, IEEE, 2011. [doi]
Abstract is missing.