Verification of a maneuver catalog for a maneuver-based vehicle guidance system | IEEE Conference Publication | IEEE Xplore