Vehicle mission guidance by symbolic optimal control. - Alexander Weber 004; Florian Fiege; Alexander Knoll (ECC, 2022)