Optimization-Based Maneuver Automata for Cooperative Trajectory Planning of Autonomous Vehicles | IEEE Conference Publication | IEEE Xplore