A provably good approximation algorithm for optimal-time trajectory planning | Synapse