Social distance augmented qualitative trajectory calculus for Human-Robot Spatial Interaction | IEEE Conference Publication | IEEE Xplore