%0 Journal Article
%B Formal Methods in System Design
%D 2017
%G eng
%T Collision Avoidance for Mobile Robots with Limited Sensing and Limited Information about Moving Obstacles
%8 01/2017