Planning of High-Level Maneuver Sequences on Semantic State Spaces | IEEE Conference Publication | IEEE Xplore