Switching Time Optimization for Binary Quantum Optimal Control | Synapse