Reachable Set Computation with Terminal Velocity Constraints | Synapse