On the linear quadratic minimum-time problem | Synapse