Minimum time control of spin systems via dynamic programming | IEEE Conference Publication | IEEE Xplore