Hierarchical Sphere Model (HSM) and Its Application for Checking an Interference Between Moving Robots | IEEE Conference Publication | IEEE Xplore