An Efficient Algorithm for the Computation of the UTD - Transition Function | IEEE Journals & Magazine | IEEE Xplore