Generic Uniqueness and Conjugate Points for Optimal Control Problems | Synapse