A time-budgeted collision detection method | IEEE Conference Publication | IEEE Xplore