Geometric abstractions of vehicle dynamical models for intelligent autonomous motion | IEEE Conference Publication | IEEE Xplore