The GCS Mathematical Framework — Motion Planning with Graphs of Convex Sets | Lykke