S Magdici, M Althoff - Proc. of the 19th International IEEE …, 2016 - mediatum.ub.tum.de
Formally verified methods for motion planning are required in order to guarantee safety for
autonomous vehicles. In particular, we consider trajectory generation by considering the …